(VAR z)
(RULES
X(z) -> e(g(a(b(c(z)))))
Q(H(z)) -> g(a(z))
Q(A(z)) -> E(e(g(a(z))))
Q(h(z)) -> g(a(z))
q(H(z)) -> a(z)
q(A(z)) -> q(z)
q(d(z)) -> q(z)
q(c(z)) -> o(z)
q(h(z)) -> a(z)
q(b(z)) -> q(z)
W(H(z)) -> H(b(b(z)))
W(A(z)) -> A(d(d(z)))
w(h(z)) -> h(d(d(z)))
w(A(z)) -> A(b(b(z)))
e(E(z)) -> z
E(e(g(o(z)))) -> g(o(z))
H(b(c(z))) -> A(d(d(c(z))))
h(d(d(c(z)))) -> A(b(b(b(c(z)))))
)