parse.pl Cleanup: Production names are now delimited using double quotes.
parse.pl Cleanup: Production names are now delimited using double quotes.

This prepares for parameterizing parts of such strings.

Rainerd/SiLLy