(NEGATE-TERMS
 (51 1 (:DEFINITION PSEUDO-TERMP))
 (18 18 (:REWRITE DEFAULT-CDR))
 (18 18 (:REWRITE DEFAULT-CAR))
 (15 3 (:DEFINITION LEN))
 (8 8 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (7 7 (:TYPE-PRESCRIPTION LEN))
 (6 6 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (6 3 (:REWRITE DEFAULT-+-2))
 (3 3 (:REWRITE DEFAULT-+-1))
 (3 1 (:DEFINITION SYMBOL-LISTP))
 (2 1 (:DEFINITION TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
(PSEUDO-TERM-LISTP-OF-NEGATE-TERMS
 (177 3 (:DEFINITION PSEUDO-TERMP))
 (61 60 (:REWRITE DEFAULT-CDR))
 (59 58 (:REWRITE DEFAULT-CAR))
 (45 9 (:DEFINITION LEN))
 (32 32 (:TYPE-PRESCRIPTION LEN))
 (28 28 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (20 20 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (18 9 (:REWRITE DEFAULT-+-2))
 (12 3 (:DEFINITION SYMBOL-LISTP))
 (9 9 (:REWRITE DEFAULT-+-1))
 (9 3 (:DEFINITION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(LOGIC-TERM-LISTP-OF-NEGATE-TERMS
 (9 1 (:REWRITE LOGIC-TERM-LISTP-OF-CDR-WHEN-LOGIC-TERMP))
 (8 8 (:REWRITE DEFAULT-CAR))
 (8 2 (:REWRITE LOGIC-TERMP-WHEN-QUOTEP))
 (6 3 (:REWRITE LOGIC-TERMP-WHEN-CONSP))
 (4 2 (:DEFINITION QUOTEP))
 (3 3 (:REWRITE DEFAULT-CDR))
 (2 2 (:TYPE-PRESCRIPTION QUOTEP))
 )
