known_discriminant_part

known_discriminant_part ::= 
      "(" discriminant_specification { ";" discriminant_specification } ")" 

This rule is called by

-> discriminant_part
-> full_type_declaration
-> protected_type_declaration
-> task_type_declaration