1 // Copyright 2012 Google Inc. All Rights Reserved.
3 // Grammar used for disambiguation of results and for confirming or
6 tag-semantics <literal>;
8 $root = /0.15/ $COMMAND | /0.85/ $OTHER;
10 $COMMAND = cancel {_cancel} | okay {_okay} | $DISAMBIG;
12 $DISAMBIG = select $digit;
13 $digit = $digit1 | $digit2 | $digit3;
14 $digit1 = 1 {_select_1};
15 $digit2 = 2 {_select_2};
16 $digit3 = 3 {_select_3};
18 $OTHER = ($OTHER_WORDS<1->) {_other};