#lang brag txtadv-program : [verb-section] [everywhere-section] [things-section] [places-section] start-section verb-section : /"===VERBS===" verb-item+ /verb-item : verb-list s-exp @verb-list : verb [/"," verb-list] /verb : ID ["_"] everywhere-section : /"===EVERYWHERE===" id-desc* things-section : /"===THINGS===" thing-item+ /thing-item : DASHED-NAME id-desc+ places-section : /"===PLACES===" place-item+ /place-item : DASHED-NAME STRING place-items id-desc+ /place-items : /"[" [place-list] /"]" @place-list : ID [/"," place-list] start-section : /"===START===" ID /id-desc : ID s-exp @s-exp : ID | STRING | nested-s-exp /nested-s-exp : /"(" s-exp* /")"