modified:   jsgf2prompts.py