A = <b> B <c> C.
B : C | D.
C = "c".
D = "d" <a> A.