cd.attlist.OMS |= 
  attribute cd {string "quant1" },
  attribute name {
    string "forall" |
    string "exists" }