(cl-text Cat 
  (or (Cat x) (Mat y))
  (not (On x y))
  (if (P x) (Q x))
)