cd.attlist.OMS |= 
  attribute cd {string "polyslp" },
  attribute name {
    string "polynomial_SLP" |
    string "prog_body" |
    string "op_node" |
    string "inp_node" |
    string "const_node" |
    string "length" |
    string "depth" |
    string "slp_degree" |
    string "return_node" |
    string "node_selector" |
    string "left_ref" |
    string "right_ref" |
    string "quotient" |
    string "monte_carlo_eq" |
    string "poly_ring_SLP" }