formal_part

formal_part ::= 
      "(" parameter_specification { ";" parameter_specification } ")" 

This rule is called by

-> parameter_and_result_profile
-> parameter_profile
-> subprogram_specification