p(a) :- (q(a), r(a).