In the following syntax cross
reference, each syntactic category is followed by the clause number where
it is defined. In addition, each syntactic category S is followed
by a list of the categories that use S in their definitions. For
example, the first listing below shows that abort_statement
appears in the definition of simple_statement.