tuple_class_def

tuple_class_def ::= "(" attribute_name ":" domain_name [ cardinal_decl ] 
      { "," attribute_name ":" domain_name [ cardinal_decl ] } 
      ")" [ "key" "(" key_name { "," key_name } ")" ] 

This rule is called by

-> class_specif
-> subclass_specif