Definition: *rule_concatenation*
(defconst *rule_concatenation* (=_ *concatenation* (/_ *repetition* (*_ (!_ (/_ (1*_ *c-wsp*) *repetition*))))))