procedure_body

procedure_body 
      ::= 
      "procedure" procedure_name 
      [ "(" argument { "," argument } ")" ] 
      "return" return_type 
      "is" 
      [ "declare" declare_spec ";" { declare_spec ";" } ] 
      "begin" 
      seq_of_statements 
      [ "exception" exception_handler { exception_handler } ] 
      "end" [ procedure_name ] ";" 

This rule is call by

-> package_obj_body
-> procedure_declaration