G -> S
S -> SpM
S -> M
M -> MsT
M -> T
T -> x
