(TMP-DEFTYPES-SYMBOLP-OF-SYMBOL-FIX)
(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-ALIST-FIX$INLINE
 (2 2 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORM-FIX))
 )
(SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX
 (235 7 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 (144 12 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (120 12 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP))
 (118 6 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (96 6 (:DEFINITION SYMBOL-LISTP))
 (63 7 (:REWRITE PSEUDO-EVENT-FORM-FIX-WHEN-PSEUDO-EVENT-FORMP))
 (40 40 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL))
 (40 20 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-NOT-CONSP))
 (38 6 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (32 32 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (24 24 (:REWRITE DEFAULT-CDR))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (24 12 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (18 18 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (12 12 (:REWRITE PSEUDO-EVENT-FORMP-WHEN-MEMBER-EQUAL-OF-PSEUDO-EVENT-FORM-LISTP))
 (12 12 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (12 6 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORM-FIX))
 )
(SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP
 (588 15 (:REWRITE SYMBOLP-OF-CAAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (297 15 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDAR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (237 30 (:REWRITE PSEUDO-EVENT-FORMP-OF-CDR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (222 18 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP))
 (222 12 (:DEFINITION MEMBER-EQUAL))
 (207 6 (:DEFINITION SYMBOL-LISTP))
 (183 36 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (175 46 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-SUBSETP-EQUAL))
 (162 18 (:REWRITE SUBSETP-CAR-MEMBER))
 (119 62 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (117 117 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (105 12 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-OF-CDR-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (93 30 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (92 88 (:REWRITE DEFAULT-CAR))
 (66 66 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (62 62 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (61 57 (:REWRITE DEFAULT-CDR))
 (54 26 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALISTP-WHEN-NOT-CONSP))
 (51 6 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (39 12 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (36 36 (:REWRITE SUBSETP-TRANS2))
 (36 36 (:REWRITE SUBSETP-TRANS))
 (34 34 (:REWRITE PSEUDO-EVENT-FORMP-WHEN-MEMBER-EQUAL-OF-PSEUDO-EVENT-FORM-LISTP))
 (30 30 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (24 24 (:REWRITE SUBSETP-MEMBER . 2))
 (24 24 (:REWRITE SUBSETP-MEMBER . 1))
 (18 9 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (12 12 (:REWRITE FTY::OPEN-MEMBER-EQUAL-ON-LIST-OF-TAGS))
 (7 7 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (6 6 (:REWRITE SUBSETP-REFL))
 (4 4 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(SYMBOL-PSEUDOEVENTFORM-ALIST-FIX$INLINE)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV$INLINE)
(SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV-IS-AN-EQUIVALENCE)
(SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV-IMPLIES-EQUAL-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-1)
(SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV)
(EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-1-FORWARD-TO-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV)
(EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-2-FORWARD-TO-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV)
(SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-1-FORWARD)
(SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-2-FORWARD)
(CONS-OF-SYMBOL-FIX-K-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV
 (10 4 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (6 6 (:TYPE-PRESCRIPTION SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (4 2 (:REWRITE PSEUDO-EVENT-FORM-FIX-WHEN-PSEUDO-EVENT-FORMP))
 (2 2 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 )
(CONS-SYMBOL-EQUIV-CONGRUENCE-ON-K-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV)
(CONS-OF-PSEUDO-EVENT-FORM-FIX-V-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV
 (10 4 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (6 6 (:TYPE-PRESCRIPTION SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (2 2 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 (1 1 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORM-FIX))
 )
(CONS-PSEUDO-EVENT-FORM-EQUIV-CONGRUENCE-ON-V-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV)
(CONS-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-Y-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV
 (6 2 (:REWRITE PSEUDO-EVENT-FORM-FIX-WHEN-PSEUDO-EVENT-FORMP))
 (4 4 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (2 2 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 )
(CONS-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV-CONGRUENCE-ON-Y-UNDER-SYMBOL-PSEUDOEVENTFORM-ALIST-EQUIV)
(SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-OF-ACONS
 (7 3 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (4 4 (:TYPE-PRESCRIPTION SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (4 2 (:REWRITE PSEUDO-EVENT-FORM-FIX-WHEN-PSEUDO-EVENT-FORMP))
 (2 2 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (2 2 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 )
(SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-OF-APPEND
 (55 19 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (36 36 (:TYPE-PRESCRIPTION SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (10 4 (:REWRITE PSEUDO-EVENT-FORM-FIX-WHEN-PSEUDO-EVENT-FORMP))
 (6 6 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (4 4 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 )
(CONSP-CAR-OF-SYMBOL-PSEUDOEVENTFORM-ALIST-FIX
 (24 10 (:REWRITE SYMBOL-PSEUDOEVENTFORM-ALIST-FIX-WHEN-SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (14 14 (:TYPE-PRESCRIPTION SYMBOL-PSEUDOEVENTFORM-ALISTP))
 (6 2 (:REWRITE PSEUDO-EVENT-FORM-FIX-WHEN-PSEUDO-EVENT-FORMP))
 (4 4 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 (2 2 (:REWRITE SYMBOL-FIX-WHEN-SYMBOLP))
 (1 1 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORM-FIX))
 )
