X= A "+" B.
A= <g> G.
A= L.
L= Ident String P.