A ::= name => reduction
