protected_definition

protected_definition ::= 
      { protected_operation_declaration } 
      [ "private" 
      { protected_element_declaration } ] 
      "end" [ protected_identifier ] 

This rule is called by

-> protected_type_declaration
-> single_protected_declaration