The content model of production allows only one lhs and one rhs. It should allow multiple rhs to handle the case where there are alternatives.
Fixed in 5.1.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.