productionset
This element is only available if you are using the
EBNF Module
.