p(X) <prod &godel(q(X), @aver(r(X),s(X))) with 0.9.
q(a) with 0.8.
r(X) with 0.7.
s(X) with 0.5.