Definition: *rule_rulename*
(defconst *rule_rulename* (=_ *rulename* (/_ *alpha* (*_ (!_ (/_ *alpha*) (/_ *digit*) (/_ "-"))))))