A = <b1> B <c1> C [ <d> D ] .
H = .
G = .
F = <g1> G <h1> H <a1> A extends B.
E = extends B.
D = .
C = .
B : E | F .