domain_constraint

domain_constraint 
      ::= 
      [ constraint_name_def ] 
      check_constraint_def [ constraint_attributes ] 

[rule list]
This rule is called by

-> add_domain_constraint_def -> domain_def