(note "QN test") (not (forall (?X ?Y) (r ?X ?Y))) (queryyn (exists (?X ?Y) (not (r ?X ?Y)))) (answer Yes) (end_of_file)