(note TQG34)  ;; boolean version

;; KB integrity: Every term is an instance of Entity.

(forall (?X) (instance ?X Entity))

(exists (?Y) (instance Foo34-1 ?Y))

(query (instance Foo34-1 Entity))

(answer yes)