productionrecap — A cross-reference to an EBNF production
A ProductionRecap is a cross reference to
a Production.
A 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.