(DEFDATA::MAX-LIST
 (5 5 (:TYPE-PRESCRIPTION MAX))
 )
(DEFDATA::DEPTH-VAR)
(DEFDATA::FIND-X-TERMS-=-DEPTH)
(DEFDATA::FIND-X-TERMS->=-DEPTH)
(DEFDATA::NESTED-FUNCTIONAL-TERMS-WITH-VARS-P)
(DEFDATA::UNION-LST
 (158 158 (:REWRITE DEFAULT-CDR))
 (105 105 (:REWRITE DEFAULT-CAR))
 )
(DEFDATA::GET-CONX-NAME
 (15 15 (:TYPE-PRESCRIPTION DEFDATA::GET1-FN))
 )
(DEFDATA::RECOGNIZER-CALL-WITH-VAR)
(DEFDATA::GOVERNING-RECOGNIZER-CALL-WITH-VAR)
(DEFDATA::DUMBER-NEGATE-LIT)
(DEFDATA::DUMBER-NEGATE-LIT-LST)
(DEFDATA::BREAK-ONE-DESTRUCTOR-NEST)
(DEFDATA::TAU-RULE-AND-TERMS=>PX)
(DEFDATA::TAU-RULES-DNF=>PX)
(DEFDATA::TAU-RULES-FORM=>PX)
(DEFDATA::TAU-RULES-PX=>OR-TERMS)
(DEFDATA::TAU-RULES-PX=>CNF)
(DEFDATA::GET-EQ-CONSTANT)
(DEFDATA::GET-FIRST-EQ-CONSTANT)
(DEFDATA::GET-EQ-CONSTANT-DONT-CHANGE)
(DEFDATA::GET-FIRST-EQ-CONSTANT-DONT-CHANGE)
(DEFDATA::TAU-RULE-PX-RECOG=>PROD)
(DEFDATA::TAU-RULES-PX=>SOP)
(DEFDATA::TAU-RULE-PX-=>EQ-NIL-HACK)
(DEFDATA::TAU-RULES-PX=>EQ-CONSTANTS)
(DEFDATA::RECOGNIZER-CALL)
(DEFDATA::GOVERNING-RECOGNIZER-CALL)
(DEFDATA::DISJOINT-CLAUSE2-P)
(DEFDATA::CLAUSE-DISJOINT-WITH-CLAUSES-P)
(DEFDATA::MUTUALLY-DISJOINT-CLAUSES-P)
(DEFDATA::FILTER-PRODS)
(DEFDATA::GOVERNING-RECOGNIZER-CALLS)
(DEFDATA::NEGATE-TERMS)
(DEFDATA::TAU-RULES-PX=>DEF/CONJUNCTIVE)
(DEFDATA::SHALLOW-PROD-P)
(DEFDATA::FILTER-SHALLOW-PRODS)
(DEFDATA::SHALLOW-UNION-OF-PRODS-P)
(DEFDATA::TAU-RULES-PX=>FORM)
(DEFDATA::FILTER-STRINGS)
(DEFDATA::MV-MESSAGES-RULE)
(DEFDATA::ALL-1-ARITY-FNS1)
(DEFDATA::ALL-1-ARITY-FNS)
(DEFDATA::ALL-CONX-FNS-ARGS1)
(DEFDATA::ALL-CONX-FNS-ARGS)
(DEFDATA::DELETE2-KEY)
(DEFDATA::EXTEND-WRLD-WITH-FN-ARGS-LIST-WITH-TAU-PAIR)
(DEFDATA::CHK-ACCEPTABLE-TAU-RULE)
(DEFDATA::TAU-CHARACTERIZATION-EVENTS1)
(DEFDATA::TAU-CHARACTERIZATION-EVENTS0)
(DEFDATA::TAU-CHARACTERIZATION-EVENTS)
