B : C | D *common* <h> H.
C = String.
D = E.
H = Boolean V.
E =.
V = .

// unflattened