protected_body

protected_body ::= 
      "protected" "body" defining_identifier "is" 
      { protected_operation_item } 
      "end" [ protected_identifier ] ";" 

This rule is called by

-> proper_body