((/centaur/gl/gobjectp-thms.lisp::gobjectp-ind (nil nil nil nil (if) nil nil) ((x) nil (atom) nil nil nil nil) ((x (g-concrete-p x) (g-boolean-p x) (g-var-p x)) nil ((g-number-p x) (g-ite-p x) (g-apply-p x) t) nil nil nil nil) (nil nil (wf-g-numberp) (list list) (list) nil nil) (nil nil (g-number->num recursive-call recursive-call recursive-call symbolp recursive-call recursive-call recursive-call) nil nil nil nil) ((x) nil (g-ite->test g-ite->then g-ite->else g-apply->fn g-apply->args car cdr) nil nil nil nil) ((x x x x x x x) nil nil nil nil nil nil)))