Or(And(Exists ?Buyer
              (purchase(?Buyer
                        ?Seller
                        book(?Author
                             LeRif)
                        49))
       ?Seller = ?Author)
   And(?Seller = Rifle
       Forall ?Buyer
              (Neg ?Buyer = ?Author)))
