Definition: *rule_rulelist*
(defconst *rule_rulelist* (=_ *rulelist* (/_ (1*_ (!_ (/_ *rule*) (/_ (!_ (/_ (*_ *c-wsp*) *c-nl*))))))))