(note TQG19)  ;; boolean version

(query (equal (AdditionFn 3.0 5.0) (AdditionFn 4.0 4.0)))

(answer yes)

;; Answer 1. [yes]

;; 1. 	(not
;;     (equal
;;         (AdditionFn 3 5)
;;         (AdditionFn 4 4)))	[KB]	
;; 2. 	(not
;;     (equal
;;         (AdditionFn 3 5)
;;         (AdditionFn 4 4)))	1