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