q(a) :- not p(a).