(C$::PCHAR?-TO-MSG
 (28 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LIST*P))
 (28 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LIST*P))
 (22 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LIST*P))
 (21 1 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-OF-CONS))
 (21 1 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-OF-CONS))
 (17 1 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-OF-CONS))
 (11 3 (:REWRITE NATP-WHEN-NAT-OPTIONP))
 (4 4 (:REWRITE STR::OCT-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-OCT-DIGIT-CHAR-LISTP))
 (4 4 (:REWRITE STR::OCT-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-OCT-DIGIT-CHAR-LIST*P))
 (4 4 (:REWRITE STR::HEX-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-HEX-DIGIT-CHAR-LISTP))
 (4 4 (:REWRITE STR::HEX-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-HEX-DIGIT-CHAR-LIST*P))
 (4 4 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-DEC-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::OCT-DIGIT-CHAR-P-WHEN-NONZERO-OCT-DIGIT-CHAR-P))
 (4 2 (:REWRITE STR::HEX-DIGIT-CHAR-P-WHEN-NONZERO-HEX-DIGIT-CHAR-P))
 (4 2 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-NONZERO-DEC-DIGIT-CHAR-P))
 (3 3 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-P$INLINE))
 (3 3 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-P$INLINE))
 (3 3 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION STR::NONZERO-OCT-DIGIT-CHAR-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION STR::NONZERO-HEX-DIGIT-CHAR-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION STR::NONZERO-DEC-DIGIT-CHAR-P$INLINE))
 (2 2 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LIST*P))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LIST*P))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LIST*P))
 (1 1 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE NAT-OPTION-FIX-WHEN-NONE))
 (1 1 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE STR::DEFAULT-CODE-CHAR))
 (1 1 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 )
(C$::MSGP-OF-PCHAR?-TO-MSG
 (50 15 (:REWRITE NAT-OPTION-FIX-WHEN-NAT-OPTIONP))
 (25 5 (:REWRITE NAT-OPTIONP-WHEN-NATP))
 (15 15 (:TYPE-PRESCRIPTION NAT-OPTIONP))
 (15 15 (:REWRITE NAT-OPTION-FIX-WHEN-NONE))
 (10 10 (:TYPE-PRESCRIPTION NATP))
 (10 5 (:REWRITE NATP-WHEN-NAT-OPTIONP))
 (4 4 (:REWRITE STR::DEFAULT-CODE-CHAR))
 )
(C$::PCHAR?-TO-MSG-OF-NAT-OPTION-FIX-CHAR)
(C$::PCHAR?-TO-MSG-NAT-OPTION-EQUIV-CONGRUENCE-ON-CHAR)
(C$::PLEXEME?-TO-MSG
 (13 3 (:REWRITE C$::PLEXEME-OPTIONP-WHEN-PLEXEMEP))
 (6 6 (:REWRITE C$::PLEXEMEP-WHEN-MEMBER-EQUAL-OF-PLEXEME-LISTP))
 (6 6 (:REWRITE C$::PLEXEME-OPTIONP-WHEN-MEMBER-EQUAL-OF-PLEXEME-OPTION-LISTP))
 )
(C$::MSGP-OF-PLEXEME?-TO-MSG)
(C$::PLEXEME?-TO-MSG-OF-PLEXEME-OPTION-FIX-LEXEME?
 (12 1 (:REWRITE C$::PLEXEME-OPTION-FIX-WHEN-PLEXEME-OPTIONP))
 (7 1 (:REWRITE C$::PLEXEME-OPTIONP-WHEN-PLEXEMEP))
 (3 3 (:TYPE-PRESCRIPTION C$::PLEXEME-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::PLEXEMEP))
 (2 2 (:REWRITE C$::PLEXEMEP-WHEN-MEMBER-EQUAL-OF-PLEXEME-LISTP))
 (2 2 (:REWRITE C$::PLEXEME-OPTIONP-WHEN-MEMBER-EQUAL-OF-PLEXEME-OPTION-LISTP))
 (2 1 (:REWRITE C$::PLEXEMEP-WHEN-PLEXEME-OPTIONP))
 (1 1 (:REWRITE C$::PLEXEME-OPTION-FIX-WHEN-NONE))
 )
(C$::PLEXEME?-TO-MSG-PLEXEME-OPTION-EQUIV-CONGRUENCE-ON-LEXEME?)
