Definition: *rule_repeat*
(defconst *rule_repeat* (=_ *repeat* (/_ (1*_ *digit*)) (/_ (!_ (/_ (*_ *digit*) "*" (*_ *digit*))))))