productionset A set of EBNF productions

production A production in a set of EBNF productions

lhs The left-hand side of an EBNF production

rhs The right-hand side of an EBNF production

nonterminal A non-terminal in an EBNF production Specifies a URI that points to a production where the nonterminal is defined

constraint A constraint in an EBNF production

productionrecap A cross-reference to an EBNF production

constraintdef The definition of a constraint in an EBNF production