loop_statement

loop_statement ::= [ statement_identifier ":" ] 
      [ ( "while" condition ) | ( "for" 
      defining_identifier "in" [ "reverse" ] discrete_subtype_definition ) ] 
      "loop" 
      sequence_of_statements 
      "end" "loop" [ statement_identifier ] ";" 

This rule is called by

-> compound_statement