Main = <s> String.
A : F | B common <h> H.
B = <x> X <x> X.
X = <z> Z <name> Ident.
F : Z common <y> Y.
H = .
Z : A.
Y = .