grammar.bgf

<?xml version="1.0" encoding="UTF-8"?>

<xns1:grammar xmlns:xns1="http://planet-sl.org/bgf">
  <xns1:production>
    <nonterminal>identifier</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>identifier_start</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <choice>
		<xns1:expression>
		  <nonterminal>identifier_start</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>identifier_extend</nonterminal>
		</xns1:expression>
	      </choice>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>identifier_start</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>letter_uppercase</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>letter_lowercase</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>letter_titlecase</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>letter_modifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>letter_other</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>number_letter</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>identifier_extend</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>mark_non_spacing</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>mark_spacing_combining</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>number_decimal</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>punctuation_connector</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>other_format</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>numeric_literal</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>decimal_literal</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>based_literal</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>decimal_literal</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>numeral</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>.</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>numeral</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>exponent</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>numeral</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>digit</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <nonterminal>underline</nonterminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>digit</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exponent</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>E</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>+</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>numeral</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>E</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>-</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>numeral</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>digit</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>0</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>1</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>2</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>3</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>4</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>5</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>6</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>7</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>8</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>9</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>based_literal</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>base</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>#</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>based_numeral</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>.</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>based_numeral</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>#</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>exponent</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>base</nonterminal>
    <xns1:expression>
      <nonterminal>numeral</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>based_numeral</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>extended_digit</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <nonterminal>underline</nonterminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>extended_digit</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>extended_digit</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>digit</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>A</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>B</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>C</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>D</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>E</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>F</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>character_literal</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>'</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>graphic_character</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>'</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>string_literal</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>"</terminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>string_element</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>"</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>string_element</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>""</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>non_quotation_mark_graphic_character</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>comment</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>-</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>-</terminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>non_end_of_line_character</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>pragma</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>pragma</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>(</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>pragma_argument_association</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <star>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <terminal>,</terminal>
			</xns1:expression>
			<xns1:expression>
			  <nonterminal>pragma_argument_association</nonterminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </star>
		</xns1:expression>
		<xns1:expression>
		  <terminal>)</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>pragma_argument_association</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <nonterminal>pragma_argument_identifier</nonterminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>=&gt;</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>name</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <nonterminal>pragma_argument_identifier</nonterminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>=&gt;</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>basic_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>type_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>object_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>null_procedure_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>number_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>abstract_subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>exception_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_instantiation</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>defining_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>type_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>full_type_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>incomplete_type_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>private_type_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>private_extension_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>full_type_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>type</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_identifier</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>known_discriminant_part</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>is</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>type_definition</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>task_type_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>protected_type_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>type_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>enumeration_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>real_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>record_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>derived_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>integer_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>array_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>access_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>interface_type_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subtype_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>subtype</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subtype_indication</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>null_exclusion</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>constraint</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subtype_mark</nonterminal>
    <xns1:expression>
      <nonterminal>subtype_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>constraint</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>scalar_constraint</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>composite_constraint</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>scalar_constraint</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>range_constraint</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>digits_constraint</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delta_constraint</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>composite_constraint</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>index_constraint</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discriminant_constraint</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>object_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>aliased</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>constant</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_indication</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>aliased</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>constant</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_definition</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>aliased</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>constant</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>array_type_definition</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>single_task_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>single_protected_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>defining_identifier_list</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>defining_identifier</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>number_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>constant</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:=</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>derived_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>abstract</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>limited</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>new</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parent_subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <terminal>and</terminal>
			</xns1:expression>
			<xns1:expression>
			  <nonterminal>interface_list</nonterminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>record_extension_part</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>range_constraint</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>range</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>range</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>range_attribute_reference</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>simple_expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>..</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>simple_expression</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>enumeration_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>enumeration_literal_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>enumeration_literal_specification</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>enumeration_literal_specification</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_character_literal</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>defining_character_literal</nonterminal>
    <xns1:expression>
      <nonterminal>character_literal</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>integer_type_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>signed_integer_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>modular_type_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>signed_integer_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_simple_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>..</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_simple_expression</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>modular_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>mod</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>real_type_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>floating_point_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>fixed_point_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>floating_point_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>digits</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>real_range_specification</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>real_range_specification</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_simple_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>..</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_simple_expression</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>fixed_point_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>ordinary_fixed_point_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>decimal_fixed_point_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>ordinary_fixed_point_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delta</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>real_range_specification</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>decimal_fixed_point_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delta</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>digits</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>real_range_specification</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>digits_constraint</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>digits</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>range_constraint</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>array_type_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>unconstrained_array_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>constrained_array_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>unconstrained_array_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>array</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>index_subtype_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>index_subtype_definition</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>of</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>component_definition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>index_subtype_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>constrained_array_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>array</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_subtype_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>discrete_subtype_definition</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>of</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>component_definition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discrete_subtype_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>discrete_subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>range</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>aliased</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_indication</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>aliased</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_definition</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>index_constraint</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_range</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>discrete_range</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discrete_range</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>discrete_subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>range</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discriminant_part</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>unknown_discriminant_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>known_discriminant_part</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>unknown_discriminant_part</nonterminal>
    <xns1:expression>
      <terminal>(&lt;&gt;)</terminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>known_discriminant_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discriminant_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>;</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>discriminant_specification</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discriminant_specification</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>default_expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_definition</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>default_expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>default_expression</nonterminal>
    <xns1:expression>
      <nonterminal>expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discriminant_constraint</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discriminant_association</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>discriminant_association</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discriminant_association</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>discriminant_selector_name</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <star>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <terminal>|</terminal>
			</xns1:expression>
			<xns1:expression>
			  <nonterminal>discriminant_selector_name</nonterminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </star>
		</xns1:expression>
		<xns1:expression>
		  <terminal>=&gt;</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <terminal>abstract</terminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <terminal>tagged</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>limited</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>record_definition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>record</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>component_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>end</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>record</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>null</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>record</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_list</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>component_item</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <nonterminal>component_item</nonterminal>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <nonterminal>component_item</nonterminal>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>variant_part</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>null</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>component_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>aspect_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>component_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>:=</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>default_expression</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>variant_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>case</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discriminant_direct_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <plus>
	    <xns1:expression>
	      <nonterminal>variant</nonterminal>
	    </xns1:expression>
	  </plus>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>case</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>variant</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>when</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_choice_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>=&gt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>component_list</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discrete_choice_list</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>discrete_choice</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>|</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>discrete_choice</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discrete_choice</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_range</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>others</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_extension_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>record_definition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>abstract_subprogram_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>abstract</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>interface_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <choice>
		<xns1:expression>
		  <terminal>limited</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>task</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>protected</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>synchronized</terminal>
		</xns1:expression>
	      </choice>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>interface</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>and</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>interface_list</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>interface_list</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>interface_subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>and</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>interface_subtype_mark</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>access_type_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_to_object_definition</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_to_subprogram_definition</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>access_to_object_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>access</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>general_access_modifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_indication</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>general_access_modifier</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>all</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>constant</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>access_to_subprogram_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>access</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>protected</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>procedure</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>parameter_profile</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>access</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>protected</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>function</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>parameter_and_result_profile</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>null_exclusion</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>not</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>null</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>access_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>access</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>constant</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>access</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>protected</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>procedure</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>parameter_profile</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>access</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>protected</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>function</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>parameter_and_result_profile</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>incomplete_type_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>discriminant_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>is</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>tagged</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>declarative_part</nonterminal>
    <xns1:expression>
      <star>
	<xns1:expression>
	  <nonterminal>declarative_item</nonterminal>
	</xns1:expression>
      </star>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>declarative_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>basic_declarative_item</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>body</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>basic_declarative_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>basic_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>aspect_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>use_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>body</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>proper_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>body_stub</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>proper_body</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subprogram_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>task_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>protected_body</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>name</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>direct_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>indexed_component</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>selected_component</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>type_conversion</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>character_literal</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>explicit_dereference</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>slice</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>attribute_reference</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>function_call</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>direct_name</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>operator_symbol</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>prefix</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>implicit_dereference</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>explicit_dereference</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>.</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>all</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>implicit_dereference</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>indexed_component</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>prefix</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>expression</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>slice</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>prefix</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_range</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>selected_component</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>prefix</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>.</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>selector_name</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>selector_name</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>character_literal</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>operator_symbol</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>attribute_reference</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>prefix</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>'</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>attribute_designator</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>attribute_designator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>identifier</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>(</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>static_expression</nonterminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>)</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <terminal>Access</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>Delta</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>Digits</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>range_attribute_reference</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>prefix</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>'</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>range_attribute_designator</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>range_attribute_designator</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>Range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>(</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>static_expression</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>)</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>aggregate</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>record_aggregate</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>extension_aggregate</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>array_aggregate</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_aggregate</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>record_component_association_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_component_association_list</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>record_component_association</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>,</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>record_component_association</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>null</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>record</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_component_association</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <nonterminal>component_choice_list</nonterminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>=&gt;</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>component_choice_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;&lt;&gt;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_choice_list</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>component_selector_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>|</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>component_selector_name</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <terminal>others</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>extension_aggregate</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>ancestor_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>record_component_association_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>ancestor_part</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>array_aggregate</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>positional_array_aggregate</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>named_array_aggregate</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>positional_array_aggregate</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>,</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>,</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>,</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>,</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>others</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>,</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>,</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>others</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;&lt;&gt;)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>named_array_aggregate</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>array_component_association</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>array_component_association</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>array_component_association</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>discrete_choice_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>discrete_choice_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;&lt;&gt;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>expression</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>relation</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>and</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>relation</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>relation</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>or</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>relation</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>relation</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>xor</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>relation</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>relation</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>and</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>then</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>relation</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>relation</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>or</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>else</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>relation</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>relation</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>simple_expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <nonterminal>relational_operator</nonterminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>simple_expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>simple_expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>not</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>in</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>range</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>simple_expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>not</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>in</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>simple_expression</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>unary_adding_operator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>term</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>binary_adding_operator</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>term</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>term</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>factor</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>multiplying_operator</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>factor</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>factor</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>primary</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>**</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>primary</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>abs</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>primary</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>not</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>primary</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>primary</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>numeric_literal</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>null</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>string_literal</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>aggregate</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>qualified_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>allocator</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>logical_operator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>and</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>or</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>xor</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>relational_operator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>=</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>/=</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;=</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&gt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&gt;=</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>binary_adding_operator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>+</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>-</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&#38;</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>unary_adding_operator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>+</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>-</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>multiplying_operator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>*</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>/</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>mod</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>rem</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>highest_precedence_operator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <terminal>**</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>abs</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>not</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>type_conversion</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>qualified_expression</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>'(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>'</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>aggregate</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>allocator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>new</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_indication</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>new</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>qualified_expression</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>sequence_of_statements</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>statement</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <nonterminal>label</nonterminal>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>simple_statement</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <nonterminal>label</nonterminal>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>compound_statement</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>simple_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>null_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>assignment_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>goto_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>simple_return_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>requeue_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>abort_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>code_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>exit_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>procedure_call_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_call_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>raise_statement</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>compound_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>if_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>loop_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>extended_return_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>accept_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>case_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>block_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>select_statement</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>null_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>null</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>label</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>&lt;&lt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>label_statement_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&gt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>statement_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>direct_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>assignment_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>variable_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:=</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>if_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>if</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>condition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>then</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>elsif</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>condition</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>then</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>sequence_of_statements</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>else</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>sequence_of_statements</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>if</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>condition</nonterminal>
    <xns1:expression>
      <nonterminal>boolean_expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>case_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>case</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>case_statement_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>case_statement_alternative</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>case</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>case_statement_alternative</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>when</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_choice_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>=&gt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>sequence_of_statements</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>loop_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>loop_statement_identifier</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>:</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>iteration_scheme</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>loop</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>loop</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>loop_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>iteration_scheme</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>while</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>condition</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>for</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>loop_parameter_specification</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>loop_parameter_specification</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>in</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>reverse</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_subtype_definition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>block_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>block_statement_identifier</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>:</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>declare</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>declarative_part</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>begin</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>handled_sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>block_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exit_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>exit</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>loop_name</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>when</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>condition</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>goto_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>goto</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>label_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_specification</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>procedure_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>function_specification</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>procedure_specification</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>procedure</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_program_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_profile</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>function_specification</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>function</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_designator</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_and_result_profile</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>designator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <nonterminal>parent_unit_name</nonterminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>.</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>identifier</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>operator_symbol</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>defining_designator</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>defining_program_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_operator_symbol</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>defining_program_unit_name</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>parent_unit_name</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>.</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>operator_symbol</nonterminal>
    <xns1:expression>
      <nonterminal>string_literal</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>defining_operator_symbol</nonterminal>
    <xns1:expression>
      <nonterminal>operator_symbol</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>parameter_profile</nonterminal>
    <xns1:expression>
      <optional>
	<xns1:expression>
	  <nonterminal>formal_part</nonterminal>
	</xns1:expression>
      </optional>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>parameter_and_result_profile</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>formal_part</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>return</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>formal_part</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>return</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_definition</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>;</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>parameter_specification</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>parameter_specification</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>mode</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>default_expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier_list</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_definition</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>:=</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>default_expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>mode</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>in</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>in</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>out</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <terminal>out</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_body</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>declarative_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>begin</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>handled_sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>designator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>procedure_call_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>procedure_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>procedure_prefix</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>actual_parameter_part</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>function_call</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>function_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>function_prefix</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>actual_parameter_part</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>actual_parameter_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_association</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>parameter_association</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>parameter_association</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>formal_parameter_selector_name</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>=&gt;</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>explicit_actual_parameter</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>explicit_actual_parameter</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>variable_name</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>simple_return_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>return</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>extended_return_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>return</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>aliased</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>return_subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>:=</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>expression</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>do</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>handled_sequence_of_statements</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>end</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>return</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>return_subtype_indication</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>access_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>null_procedure_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>procedure_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>null</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>package_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_specification</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>package</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_program_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>basic_declarative_item</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>private</terminal>
		</xns1:expression>
		<xns1:expression>
		  <star>
		    <xns1:expression>
		      <nonterminal>basic_declarative_item</nonterminal>
		    </xns1:expression>
		  </star>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <nonterminal>parent_unit_name</nonterminal>
			</xns1:expression>
			<xns1:expression>
			  <terminal>.</terminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>identifier</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_body</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>package</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>body</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_program_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>declarative_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>begin</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>handled_sequence_of_statements</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <nonterminal>parent_unit_name</nonterminal>
			</xns1:expression>
			<xns1:expression>
			  <terminal>.</terminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>identifier</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>private_type_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>discriminant_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <terminal>abstract</terminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <terminal>tagged</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>limited</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>private</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>private_extension_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>discriminant_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>abstract</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <choice>
		<xns1:expression>
		  <terminal>limited</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>synchronized</terminal>
		</xns1:expression>
	      </choice>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>new</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>ancestor_subtype_indication</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>and</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>interface_list</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>private</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>overriding_indicator</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>not</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>overriding</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>use_clause</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>use_package_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>use_type_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>use_package_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>use</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>package_name</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>use_type_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>use</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>subtype_mark</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>renaming_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>object_renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>exception_renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_renaming_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>object_renaming_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>null_exclusion</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subtype_mark</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>renames</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>object_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>defining_identifier</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>:</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>access_definition</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>renames</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>object_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exception_renaming_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>exception</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>renames</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>exception_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_renaming_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>package</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_program_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>renames</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_renaming_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>renames</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>callable_entity_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_renaming_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>generic</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>package</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_program_unit_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>renames</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>generic_package_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>generic</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>procedure</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_program_unit_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>renames</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>generic_procedure_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>generic</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>function</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_program_unit_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>renames</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>generic_function_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_type_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>task</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>known_discriminant_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>is</terminal>
		</xns1:expression>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <terminal>new</terminal>
			</xns1:expression>
			<xns1:expression>
			  <nonterminal>interface_list</nonterminal>
			</xns1:expression>
			<xns1:expression>
			  <terminal>with</terminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>task_definition</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>single_task_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>task</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>is</terminal>
		</xns1:expression>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <terminal>new</terminal>
			</xns1:expression>
			<xns1:expression>
			  <nonterminal>interface_list</nonterminal>
			</xns1:expression>
			<xns1:expression>
			  <terminal>with</terminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>task_definition</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>task_item</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>private</terminal>
		</xns1:expression>
		<xns1:expression>
		  <star>
		    <xns1:expression>
		      <nonterminal>task_item</nonterminal>
		    </xns1:expression>
		  </star>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>task_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>entry_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>aspect_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_body</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>task</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>body</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>declarative_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>begin</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>handled_sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>task_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_type_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>protected</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>known_discriminant_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>new</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>interface_list</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>with</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>protected_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>single_protected_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>protected</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>new</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>interface_list</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>with</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>protected_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>protected_operation_declaration</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>private</terminal>
		</xns1:expression>
		<xns1:expression>
		  <star>
		    <xns1:expression>
		      <nonterminal>protected_element_declaration</nonterminal>
		    </xns1:expression>
		  </star>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>protected_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_operation_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>aspect_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_element_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>protected_operation_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>component_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_body</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>protected</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>body</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>protected_operation_item</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>protected_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_operation_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>aspect_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>entry</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>(</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>discrete_subtype_definition</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>)</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_profile</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>accept_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>accept</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_direct_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>(</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>entry_index</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>)</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_profile</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>do</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>handled_sequence_of_statements</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>end</terminal>
		</xns1:expression>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <nonterminal>entry_identifier</nonterminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_index</nonterminal>
    <xns1:expression>
      <nonterminal>expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_body</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>entry</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_body_formal_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_barrier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>declarative_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>begin</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>handled_sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>entry_identifier</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_body_formal_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>(</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>entry_index_specification</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>)</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parameter_profile</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_barrier</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>when</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>condition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_index_specification</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>for</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>in</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>discrete_subtype_definition</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_call_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>entry_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>actual_parameter_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>requeue_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>requeue</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>with</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>abort</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>delay_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>delay_until_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_relative_statement</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>delay_until_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delay</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>until</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>delay_relative_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delay</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>select_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>selective_accept</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>timed_entry_call</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>conditional_entry_call</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>asynchronous_select</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>selective_accept</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>guard</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>select_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>or</terminal>
		</xns1:expression>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <nonterminal>guard</nonterminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>select_alternative</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>else</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>sequence_of_statements</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>guard</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>when</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>condition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>=&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>select_alternative</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>accept_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>terminate_alternative</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>accept_alternative</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>accept_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>sequence_of_statements</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>delay_alternative</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>delay_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>sequence_of_statements</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>terminate_alternative</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>terminate</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>timed_entry_call</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_call_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>or</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_call_alternative</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>procedure_or_entry_call</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>sequence_of_statements</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>procedure_or_entry_call</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>procedure_call_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_call_statement</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>conditional_entry_call</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_call_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>else</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>asynchronous_select</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>triggering_alternative</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>then</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>abort</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>abortable_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>select</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>triggering_alternative</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>triggering_statement</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>sequence_of_statements</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>triggering_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>procedure_or_entry_call</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>delay_statement</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>abortable_part</nonterminal>
    <xns1:expression>
      <nonterminal>sequence_of_statements</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>abort_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>abort</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>task_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>task_name</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>compilation</nonterminal>
    <xns1:expression>
      <star>
	<xns1:expression>
	  <nonterminal>compilation_unit</nonterminal>
	</xns1:expression>
      </star>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>compilation_unit</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>context_clause</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>library_item</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>context_clause</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>subunit</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>library_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>private</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>library_unit_declaration</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>library_unit_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <terminal>private</terminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>library_unit_renaming_declaration</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>library_unit_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_instantiation</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>library_unit_renaming_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>package_renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_renaming_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_renaming_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>library_unit_body</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subprogram_body</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_body</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>parent_unit_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>context_clause</nonterminal>
    <xns1:expression>
      <star>
	<xns1:expression>
	  <nonterminal>context_item</nonterminal>
	</xns1:expression>
      </star>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>context_item</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>with_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>use_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>with_clause</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>limited_with_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>nonlimited_with_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>limited_with_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>limited</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>private</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>library_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>library_unit_name</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>nonlimited_with_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>private</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>library_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>library_unit_name</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>body_stub</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>subprogram_body_stub</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_body_stub</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>task_body_stub</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>protected_body_stub</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_body_stub</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>overriding_indicator</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>separate</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_body_stub</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>package</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>body</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>separate</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_body_stub</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>task</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>body</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>separate</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_body_stub</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>protected</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>body</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>separate</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subunit</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>separate</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>parent_unit_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>proper_body</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exception_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>exception</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>handled_sequence_of_statements</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>sequence_of_statements</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>exception</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>exception_handler</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <star>
		    <xns1:expression>
		      <nonterminal>exception_handler</nonterminal>
		    </xns1:expression>
		  </star>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exception_handler</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>when</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>choice_parameter_specification</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>:</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>exception_choice</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>|</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>exception_choice</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>=&gt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>sequence_of_statements</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>choice_parameter_specification</nonterminal>
    <xns1:expression>
      <nonterminal>defining_identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exception_choice</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>exception_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>others</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>raise_statement</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>raise</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>raise</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>exception_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>with</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>string_expression</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>generic_subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_package_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_subprogram_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>generic_formal_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_package_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>generic_formal_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_formal_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>generic</terminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <choice>
		<xns1:expression>
		  <nonterminal>generic_formal_parameter_declaration</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>use_clause</nonterminal>
		</xns1:expression>
	      </choice>
	    </xns1:expression>
	  </star>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_formal_parameter_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>formal_object_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_type_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_package_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_instantiation</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>package</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_program_unit_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>is</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>new</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>generic_package_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>generic_actual_part</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>overriding_indicator</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>procedure</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_program_unit_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>is</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>new</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>generic_procedure_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>generic_actual_part</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>overriding_indicator</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>function</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>defining_designator</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>is</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>new</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>generic_function_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <nonterminal>generic_actual_part</nonterminal>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_actual_part</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>(</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_association</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>,</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>generic_association</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>)</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_association</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <nonterminal>generic_formal_parameter_selector_name</nonterminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>=&gt;</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>explicit_generic_actual_parameter</nonterminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>explicit_generic_actual_parameter</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>variable_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>entry_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>package_instance_name</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_object_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>defining_identifier_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>mode</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>null_exclusion</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>:=</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>default_expression</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier_list</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>:</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>mode</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>access_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>:=</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>default_expression</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_type_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>type</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>discriminant_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_type_definition</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>formal_private_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_derived_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_discrete_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_signed_integer_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_modular_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_floating_point_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_ordinary_fixed_point_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_decimal_fixed_point_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_array_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_access_type_definition</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_interface_type_definition</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_private_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <terminal>abstract</terminal>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <terminal>tagged</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>limited</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>private</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_derived_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <terminal>abstract</terminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <choice>
		<xns1:expression>
		  <terminal>limited</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>synchronized</terminal>
		</xns1:expression>
	      </choice>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>new</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subtype_mark</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <optional>
		    <xns1:expression>
		      <sequence>
			<xns1:expression>
			  <terminal>and</terminal>
			</xns1:expression>
			<xns1:expression>
			  <nonterminal>interface_list</nonterminal>
			</xns1:expression>
		      </sequence>
		    </xns1:expression>
		  </optional>
		</xns1:expression>
		<xns1:expression>
		  <terminal>with</terminal>
		</xns1:expression>
		<xns1:expression>
		  <terminal>private</terminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_discrete_type_definition</nonterminal>
    <xns1:expression>
      <terminal>(&lt;&gt;)</terminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_signed_integer_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_modular_type_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>mod</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_floating_point_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>digits</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_ordinary_fixed_point_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delta</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_decimal_fixed_point_definition</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delta</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>digits</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_array_type_definition</nonterminal>
    <xns1:expression>
      <nonterminal>array_type_definition</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_access_type_definition</nonterminal>
    <xns1:expression>
      <nonterminal>access_type_definition</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_interface_type_definition</nonterminal>
    <xns1:expression>
      <nonterminal>interface_type_definition</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_subprogram_declaration</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>formal_concrete_subprogram_declaration</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_abstract_subprogram_declaration</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_concrete_subprogram_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <sequence>
		<xns1:expression>
		  <terminal>is</terminal>
		</xns1:expression>
		<xns1:expression>
		  <nonterminal>subprogram_default</nonterminal>
		</xns1:expression>
	      </sequence>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_abstract_subprogram_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>subprogram_specification</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>abstract</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>subprogram_default</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_default</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>default_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>&lt;&gt;</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>null</terminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>default_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_package_declaration</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>with</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>package</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>defining_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>is</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>new</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>generic_package_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>formal_package_actual_part</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_package_actual_part</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>others</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>=&gt;</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>&lt;&gt;)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>generic_actual_part</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>(</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>formal_package_association</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <star>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>,</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <nonterminal>formal_package_association</nonterminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </star>
	    </xns1:expression>
	    <xns1:expression>
	      <optional>
		<xns1:expression>
		  <sequence>
		    <xns1:expression>
		      <terminal>,</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>others</terminal>
		    </xns1:expression>
		    <xns1:expression>
		      <terminal>=&gt;&lt;&gt;</terminal>
		    </xns1:expression>
		  </sequence>
		</xns1:expression>
	      </optional>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>)</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_package_association</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>generic_association</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>generic_formal_parameter_selector_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;&lt;&gt;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>aspect_clause</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>attribute_definition_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>enumeration_representation_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>record_representation_clause</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>at_clause</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>local_name</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>direct_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>direct_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>'</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>attribute_designator</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>library_unit_name</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>attribute_definition_clause</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>for</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>local_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>'</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>attribute_designator</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>use</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>expression</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <terminal>for</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>local_name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>'</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>attribute_designator</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>use</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>name</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>;</terminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>enumeration_representation_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>for</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>first_subtype_local_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>use</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>enumeration_aggregate</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>enumeration_aggregate</nonterminal>
    <xns1:expression>
      <nonterminal>array_aggregate</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>record_representation_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>for</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>first_subtype_local_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>use</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>record</terminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>mod_clause</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
	<xns1:expression>
	  <star>
	    <xns1:expression>
	      <nonterminal>component_clause</nonterminal>
	    </xns1:expression>
	  </star>
	</xns1:expression>
	<xns1:expression>
	  <terminal>end</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>record</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>component_local_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>at</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>position</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>range</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>first_bit</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>..</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>last_bit</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>position</nonterminal>
    <xns1:expression>
      <nonterminal>static_expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>first_bit</nonterminal>
    <xns1:expression>
      <nonterminal>static_simple_expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>last_bit</nonterminal>
    <xns1:expression>
      <nonterminal>static_simple_expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>code_statement</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <nonterminal>qualified_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>restriction</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>restriction_identifier</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <sequence>
	    <xns1:expression>
	      <nonterminal>restriction_parameter_identifier</nonterminal>
	    </xns1:expression>
	    <xns1:expression>
	      <terminal>=&gt;</terminal>
	    </xns1:expression>
	    <xns1:expression>
	      <nonterminal>restriction_parameter_argument</nonterminal>
	    </xns1:expression>
	  </sequence>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>restriction_parameter_argument</nonterminal>
    <xns1:expression>
      <choice>
	<xns1:expression>
	  <nonterminal>name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
      </choice>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>delta_constraint</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>delta</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <optional>
	    <xns1:expression>
	      <nonterminal>range_constraint</nonterminal>
	    </xns1:expression>
	  </optional>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>at_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>for</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>direct_name</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>use</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>at</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>mod_clause</nonterminal>
    <xns1:expression>
      <sequence>
	<xns1:expression>
	  <terminal>at</terminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>mod</terminal>
	</xns1:expression>
	<xns1:expression>
	  <nonterminal>static_expression</nonterminal>
	</xns1:expression>
	<xns1:expression>
	  <terminal>;</terminal>
	</xns1:expression>
      </sequence>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>non_quotation_mark_graphic_character</nonterminal>
    <xns1:expression>
      <nonterminal>graphic_character</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>non_end_of_line_character</nonterminal>
    <xns1:expression>
      <terminal>character</terminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>pragma_argument_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subtype_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>static_expression</nonterminal>
    <xns1:expression>
      <nonterminal>expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>parent_subtype_indication</nonterminal>
    <xns1:expression>
      <nonterminal>subtype_indication</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>static_simple_expression</nonterminal>
    <xns1:expression>
      <nonterminal>simple_expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discrete_subtype_indication</nonterminal>
    <xns1:expression>
      <nonterminal>subtype_indication</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discriminant_selector_name</nonterminal>
    <xns1:expression>
      <nonterminal>selector_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>discriminant_direct_name</nonterminal>
    <xns1:expression>
      <nonterminal>direct_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>interface_subtype_mark</nonterminal>
    <xns1:expression>
      <nonterminal>subtype_mark</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_selector_name</nonterminal>
    <xns1:expression>
      <nonterminal>selector_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>label_statement_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>statement_identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>variable_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>boolean_expression</nonterminal>
    <xns1:expression>
      <nonterminal>expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>loop_statement_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>statement_identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>loop_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>block_statement_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>statement_identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>block_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>loop_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>label_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>procedure_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>procedure_prefix</nonterminal>
    <xns1:expression>
      <nonterminal>prefix</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>function_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>function_prefix</nonterminal>
    <xns1:expression>
      <nonterminal>prefix</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>formal_parameter_selector_name</nonterminal>
    <xns1:expression>
      <nonterminal>selector_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>ancestor_subtype_indication</nonterminal>
    <xns1:expression>
      <nonterminal>subtype_indication</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>object_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>exception_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>callable_entity_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_package_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_procedure_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_function_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>protected_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_direct_name</nonterminal>
    <xns1:expression>
      <nonterminal>direct_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>entry_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>delay_expression</nonterminal>
    <xns1:expression>
      <nonterminal>expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>task_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>library_unit_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>string_expression</nonterminal>
    <xns1:expression>
      <nonterminal>expression</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>generic_formal_parameter_selector_name</nonterminal>
    <xns1:expression>
      <nonterminal>selector_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>subprogram_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>package_instance_name</nonterminal>
    <xns1:expression>
      <nonterminal>name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>first_subtype_local_name</nonterminal>
    <xns1:expression>
      <nonterminal>local_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>component_local_name</nonterminal>
    <xns1:expression>
      <nonterminal>local_name</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>restriction_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
  <xns1:production>
    <nonterminal>restriction_parameter_identifier</nonterminal>
    <xns1:expression>
      <nonterminal>identifier</nonterminal>
    </xns1:expression>
  </xns1:production>
</xns1:grammar>