(cl-text PetHappy 
  (cl-imports Pred) (cl-imports Cat)
  (exists (z) (and (Pet x) (Happy z) (Attr x z)))
)