(cl-text Pred 
  (P x)
  (and (P x) (Q y))
)