cd.attlist.OMS |= 
  attribute cd {string "semigroup" },
  attribute name {
    string "associative" |
    string "Semigroup" |
    string "make_Semigroup" }