cd.attlist.OMS |= 
  attribute cd {string "setoid" },
  attribute name {
    string "Setoid" |
    string "make_Setoid" }