cd.attlist.OMS |= 
  attribute cd {string "logic1" },
  attribute name {
    string "equivalent" |
    string "not" |
    string "and" |
    string "xor" |
    string "or" |
    string "implies" |
    string "true" |
    string "false" }