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

// flattened