formal_part

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

[rule list]
This rule is called by

-> parameter_and_result_profile -> parameter_profile -> subprogram_specification