A = B.
B : C | D | E *common* F J.
C = "c".
D = G "h" H "a" A.
E = "g" G.
F = .
G = .
H : F | A.
J = .