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