1 make-existence-index [process Listener 1] Values Returned: ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf)) 2 make-exists-statement Arguments: gizmo::?x Values Returned: (cl-user::exists gizmo::?x) 3 fetch Arguments: (cl-user::exists gizmo::?x) Values Returned: ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf)) 4 internal-fetch Arguments: (cl-user::exists gizmo::?x) :form nil nil Values Returned: ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf)) 5 get-fact-candidates Arguments: (cl-user::exists gizmo::?x) Values Returned: (( )) 2 6 get-dtree Arguments: cl-user::exists Values Returned: #(#(nil nil # # (0) (0)) #(#(nil nil # # (0) (1 )) #(nil nil # # (0) (0)) # # (0) (0)) # # (0) (0)) 7 dtree-fetch Arguments: (cl-user::exists gizmo::?x) #(#(nil nil # # (0) (0)) #(#(nil nil # # (0) (1 )) #(nil nil # # (0) (0)) # # (0) (0)) # # (0) (0)) nil 0 nil 536870911 :fact Values Returned: (( )) 2