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