p(X) <prod &godel(|godel(q(X),0.6),r(X)) with 0.9.
q(a) with 0.8.
r(X) with 0.7.