((/centaur/misc/hons-sets.lisp::is-prefix (nil nil nil (or) nil nil nil) (nil nil (atom) (and) nil nil nil) ((x) nil nil (equal recursive-call) nil nil nil) (nil nil (car car cdr cdr) nil nil nil nil) ((x y x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/misc/hons-sets.lisp::subgoal-of (nil nil nil (let) nil nil nil) (((goal (parse-clause-id goal))) nil nil (and) nil nil nil) (nil nil nil (is-prefix or) nil nil nil) (nil nil (car car not) (and) nil nil nil) ((goal id) nil nil (equal is-prefix or) nil nil nil) (nil nil (car car cadr cadr not) (<) nil nil nil) ((goal id goal id) nil (cddr cddr) (equal) nil nil nil)) (/centaur/misc/hons-sets.lisp::list-intersects-fal (nil nil nil (and) nil nil nil) (nil nil (consp) (or) nil nil nil) ((x) nil nil (hons-get recursive-call) nil nil nil) ((fal fal) nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))