A = B.
B : C | E *common* F J.
C ~ {J} .
D = G "h" H "a" A *extends* C.
E = "g" G .
F = .
G = <booltest> boolean .
H : F | A.
J = "j".