grammar a -> an