(BOOLEANP-OF-SYMBOLP-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-KEY-LEMMA)
(BOOLEANP-OF-PSEUDO-EVENT-FORMP-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-VAL-LEMMA)
(SYMBOLP-OF-NIL-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-KEY-LEMMA)
(PSEUDO-EVENT-FORMP-OF-NIL-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-VAL-LEMMA)
(BOOLEANP-OF-SYMBOLP-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-KEY)
(BOOLEANP-OF-PSEUDO-EVENT-FORMP-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-VAL)
(PSEUDO-EVENT-FORMP-OF-NIL-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-VAL)
(SYMBOL-PSEUDOEVENTFORM-ALISTP)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-REVAPPEND)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-REMOVE)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-LAST)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-NTHCDR)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-BUTLAST)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-UPDATE-NTH)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-REPEAT)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-TAKE)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-UNION-EQUAL)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-INTERSECTION-EQUAL-2)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-INTERSECTION-EQUAL-1)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-SET-DIFFERENCE-EQUAL)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-RCONS)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-APPEND)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-REV)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-DUPLICATED-MEMBERS)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-DIFFERENCE)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-INTERSECT-2)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-INTERSECT-1)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-UNION)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-MERGESORT)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-DELETE)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-INSERT)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-SFIX)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-LIST-FIX)
(TRUE-LISTP-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP-COMPOUND-RECOGNIZER)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-NOT-CONSP)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CONS)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-MAKE-FAL
 (75 10 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (32 32 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL))
 (16 16 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP-OF-SYMBOLP-FOR-SYMBOL-PSEUDOEVENTFORM-ALISTP-KEY))
 )
(PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-REMOVE-ASSOC)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-PUT-ASSOC)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-FAST-ALIST-CLEAN)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-HONS-SHRINK-ALIST)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-HONS-ACONS)
(PSEUDO-EVENT-FORMP-OF-CDR-OF-HONS-ASSOC-EQUAL-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(ALISTP-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP-REWRITE)
(ALISTP-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(PSEUDO-EVENT-FORMP-OF-CDAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(SYMBOLP-OF-CAAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP)
(SYMBOL-PSEUDOEVENTFORM-ALISTP-ALT-DEF
 (548 32 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (288 46 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (220 23 (:DEFINITION TRUE-LISTP))
 (187 23 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (146 145 (:REWRITE DEFAULT-CAR))
 (106 106 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL))
 (98 98 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (92 92 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (92 46 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (89 83 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (83 83 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (83 76 (:REWRITE DEFAULT-CDR))
 (56 13 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (46 46 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (46 46 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (46 46 (:REWRITE SET::IN-SET))
 (40 40 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (6 6 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (4 4 (:DEFINITION NULL))
 )
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-PAIRLIS$
 (1577 18 (:DEFINITION SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (1361 32 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (439 92 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (393 15 (:DEFINITION MEMBER-EQUAL))
 (342 28 (:REWRITE SUBSETP-CAR-MEMBER))
 (328 48 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (211 145 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (190 52 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (184 16 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (160 24 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (159 151 (:REWRITE DEFAULT-CAR))
 (145 145 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (141 141 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (129 49 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-NOT-CONSP))
 (104 12 (:DEFINITION TRUE-LISTP))
 (101 93 (:REWRITE DEFAULT-CDR))
 (98 24 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (80 24 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (70 52 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (57 57 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (53 53 (:REWRITE SUBSETP-TRANS2))
 (53 53 (:REWRITE SUBSETP-TRANS))
 (48 48 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (48 24 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (30 30 (:REWRITE SUBSETP-MEMBER . 2))
 (30 30 (:REWRITE SUBSETP-MEMBER . 1))
 (24 24 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (24 24 (:REWRITE SET::IN-SET))
 (23 12 (:REWRITE DEFAULT-+-2))
 (12 12 (:REWRITE DEFAULT-+-1))
 (6 6 (:DEFINITION NULL))
 )
(PSEUDO-EVENT-FORM-LISTP-OF-STRIP-CDRS-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP
 (518 12 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (243 42 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (212 11 (:DEFINITION MEMBER-EQUAL))
 (176 20 (:REWRITE SUBSETP-CAR-MEMBER))
 (155 24 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (144 22 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (133 46 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL))
 (108 63 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (106 11 (:DEFINITION TRUE-LISTP))
 (100 100 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (81 30 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (80 79 (:REWRITE DEFAULT-CAR))
 (63 63 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (60 60 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (55 48 (:REWRITE DEFAULT-CDR))
 (44 44 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (44 22 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (39 30 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (30 30 (:REWRITE SUBSETP-TRANS2))
 (30 30 (:REWRITE SUBSETP-TRANS))
 (27 3 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (22 22 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (22 22 (:REWRITE SUBSETP-MEMBER . 2))
 (22 22 (:REWRITE SUBSETP-MEMBER . 1))
 (22 22 (:REWRITE SET::IN-SET))
 (20 5 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (16 16 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (2 2 (:DEFINITION NULL))
 )
(SYMBOL-ALISTP-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP
 (99 8 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (96 16 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (76 8 (:DEFINITION TRUE-LISTP))
 (60 60 (:REWRITE DEFAULT-CAR))
 (42 29 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (34 34 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL))
 (32 32 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (32 16 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (29 29 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (28 28 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (20 20 (:REWRITE DEFAULT-CDR))
 (16 16 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (16 16 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (16 16 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (16 16 (:REWRITE SET::IN-SET))
 (14 2 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (13 13 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:DEFINITION NULL))
 )
