p(a) :-.