(
A = (Z C)
Z : (E F) (X Y)
C = ()
E = ()
F : (G) ()
G : (H) ()
H = ()
X = ()
Y = ()
)