A: B | C *common* <f> F <e> E.
B: G.
G: A.
A: T.
T = .