cd.attlist.OMS |= 
  attribute cd {string "multiset1" },
  attribute name {
    string "size" |
    string "cartesian_product" |
    string "emptyset" |
    string "multiset" |
    string "intersect" |
    string "union" |
    string "setdiff" |
    string "subset" |
    string "in" |
    string "notin" |
    string "prsubset" |
    string "notsubset" |
    string "notprsubset" }