In the following syntax cross reference, each syntactic
category is followed by the subclause 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.