(note "Kalish & Montague, Theorem 263a") (forall ?X (exists ?Y (implies (F ?X) (G ?Y)))) (queryyn (exists ?Y (forall ?X (implies (F ?X) (G ?Y)))) ) (answer Yes) (end_of_file)