A = .
B : C | D.
G : C | E.
C = .
F : C | X.
D = .
E = C .