A = B.
B : C | D.
C = .
D = .