task_body

task_body ::= 
      "task" "body" defining_identifier "is" 
      declarative_part 
      "begin" 
      handled_sequence_of_statements 
      "end" [ task_identifier ] ";" 

This rule is called by

-> proper_body