cd.attlist.OMS |= 
  attribute cd {string "indnat" },
  attribute name {
    string "indNat" |
    string "zero" |
    string "succ" |
    string "plus" |
    string "times" }