4/10 :: s(X) :- p(X), p(X). 6/10 :: s(X) :- g(X), q(X). 3/10 :: p(a). 7/10 :: p(b). 2/10 :: q(a). 8/10 :: q(b). g(X) :- r(X),t(X). r(a). r(b). t(b).