A = B.
B = C D. 
C = Beta1 Epsilon.
D = <f> F E.
E = G H <string_name> String.
F = .
G = .
H = .