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