(GET-RULESET)
(IS-RULESET)
(RULESET-DESIGNATORP)
(RULESET-DESIGNATOR-LISTP1)
(RULESET-DESIGNATOR-LISTP)
(RULES-OF-CLASS1)
(DEF-RULESET-CORE)
(ADD-TO-RULESET-CORE)
(CHECK-NOT-RULESET)
(CHECK-RULESET)
(RULESET-FORM-PREPROCESS)
(EXPAND-RULESET1)
(EXPAND-RULESET)
(E/D*-FN)
