(ENSURE-SYMBOL-IS-FRESH-EVENT-NAME
 (72 24 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (30 6 (:DEFINITION CHARACTER-ALISTP))
 (25 25 (:REWRITE DEFAULT-CAR))
 (13 13 (:REWRITE DEFAULT-CDR))
 (3 1 (:DEFINITION SYMBOL-LISTP))
 )
(RETURN-TYPE-OF-ENSURE-SYMBOL-IS-FRESH-EVENT-NAME.ERP
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 1 (:DEFINITION MEMBER-EQUAL))
 (2 1 (:DEFINITION NTH))
 )
(RETURN-TYPE-OF-ENSURE-SYMBOL-IS-FRESH-EVENT-NAME.VAL
 (10 10 (:REWRITE DEFAULT-CDR))
 (10 10 (:REWRITE DEFAULT-CAR))
 (10 2 (:DEFINITION ASSOC-EQUAL))
 (6 2 (:DEFINITION MEMBER-EQUAL))
 (4 2 (:DEFINITION NTH))
 )
