(note "Kalish & Montague, Theorem 240" ) (forall ?X (implies (F ?X) (G ?X))) (exists ?X (and (F ?X) (H ?X))) (queryyn (exists ?X (and (H ?X) (G ?X)))) (answer Yes) (end_of_file)