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