discriminant_specification

discriminant_specification ::= 
      defining_identifier_list ":" subtype_mark [ ":=" default_expression ] 
      | defining_identifier_list ":" access_definition 
      [ ":=" default_expression ] 

This rule is called by

-> known_discriminant_part