p(f(Y)):-q(Y),r(Y).
q(g(Z)).
q(h(Z)).
r(h(a)).
