productionrecap — A cross-reference to an EBNF production.
productionrecap is rendered exactly like
the production to which it refers. The purpose of the
productionrecap element is to allow a
productionset to contain copies of
productions defined elsewhere. This frequently
makes it easier for readers to understand.