discriminant_constraint

discriminant_constraint ::= 
      "(" discriminant_association { "," discriminant_association } ")" 

This rule is called by

-> constraint