A = <b>B <b>C <e> D.
B : D | F | G common E.
D = E.
E: F.
G = <s> String.