(TERMFNP
 (220 220 (:REWRITE DEFAULT-CAR))
 (142 142 (:REWRITE DEFAULT-CDR))
 (22 2 (:DEFINITION FGETPROP))
 (14 7 (:DEFINITION TRUE-LISTP))
 )
(BOOLEANP-OF-TERMFNP)
(TERMFNP-WHEN-TERMP
 (105 1 (:DEFINITION TERMP))
 (32 3 (:DEFINITION LENGTH))
 (26 26 (:REWRITE DEFAULT-CAR))
 (25 5 (:DEFINITION LEN))
 (23 23 (:REWRITE DEFAULT-CDR))
 (17 1 (:DEFINITION ARGLISTP))
 (11 11 (:TYPE-PRESCRIPTION LEN))
 (10 5 (:REWRITE DEFAULT-+-2))
 (9 1 (:DEFINITION SET-DIFFERENCE-EQUAL))
 (8 1 (:DEFINITION NO-DUPLICATESP-EQUAL))
 (7 3 (:DEFINITION MEMBER-EQUAL))
 (7 1 (:DEFINITION ARGLISTP1))
 (6 1 (:DEFINITION ALL-VARS))
 (5 5 (:REWRITE DEFAULT-+-1))
 (5 1 (:DEFINITION ALL-VARS1))
 (3 1 (:DEFINITION LEGAL-VARIABLEP))
 (2 2 (:TYPE-PRESCRIPTION SET-DIFFERENCE-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION LEGAL-VARIABLE-OR-CONSTANT-NAMEP))
 (2 2 (:TYPE-PRESCRIPTION ARGLISTP1))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (2 2 (:REWRITE DEFAULT-COERCE-1))
 (2 1 (:DEFINITION TRUE-LISTP))
 (2 1 (:DEFINITION ADD-TO-SET-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION TERM-LISTP))
 (1 1 (:TYPE-PRESCRIPTION NO-DUPLICATESP-EQUAL))
 (1 1 (:REWRITE LEGAL-VARIABLE-OR-CONSTANT-NAMEP-IMPLIES-SYMBOLP))
 )
(TERMP-WHEN-TERMFNP
 (161 161 (:REWRITE DEFAULT-CDR))
 (126 126 (:REWRITE DEFAULT-CAR))
 (76 38 (:REWRITE DEFAULT-+-2))
 (66 6 (:DEFINITION FGETPROP))
 (38 38 (:REWRITE DEFAULT-+-1))
 (34 12 (:DEFINITION MEMBER-EQUAL))
 (20 4 (:DEFINITION ALL-VARS1))
 (11 11 (:REWRITE DEFAULT-COERCE-2))
 (11 11 (:REWRITE DEFAULT-COERCE-1))
 (8 4 (:DEFINITION ADD-TO-SET-EQUAL))
 (8 2 (:DEFINITION TERM-LISTP))
 (6 6 (:REWRITE LEGAL-VARIABLE-OR-CONSTANT-NAMEP-IMPLIES-SYMBOLP))
 (6 6 (:REWRITE ARITIES-OKP-IMPLIES-ARITY))
 )
