grammar: completed initial prototype example