TABLE 1: BNF Symbol Definitions
Symbol Definition
::= is defined as
| or
[ ] surround an optional language clause
< > surround a category name