+new-style. This is the domain dms1 from [Barrett-Weld 1994]

(operator A1 (params) (preconds (I1)) (effects (G1) (del I0)))

(operator A2 (params) (preconds (I2)) (effects (G2) (del I0) (del I1)))

(operator A3 (params) (preconds (I3)) (effects (G3) (del I0) (del I1)
(del I2))) 

(operator A4 (params) (preconds (I4)) (effects (G4) (del I0) (del I1)
(del I2) (del I3))) 

(operator A5 (params) (preconds (I5)) (effects (G5) (del I0) (del I1)
(del I2) (del I3) (del I4))) 

(operator A6 (params) (preconds (I6)) (effects (G6) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5))) 

(operator A7 (params) (preconds (I7)) (effects (G7) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6))) 

(operator A8 (params) (preconds (I8)) (effects (G8) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7))) 

(operator A9 (params) (preconds (I9)) (effects (G9) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8))) 

(operator A10 (params) (preconds (I10)) (effects (G10) (del I0) (del I1) 
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8)
(del I9))) 

(operator A11 (params) (preconds (I11)) (effects (G11) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10)))  

(operator A12 (params) (preconds (I12)) (effects (G12) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11)))  

(operator A13 (params) (preconds (I13)) (effects (G13) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12)))  

(operator A14 (params) (preconds (I14)) (effects (G14) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13)))  

(operator A15 (params) (preconds (I15)) (effects (G15) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13) (del I14)))  

(operator A16 (params) (preconds (I16)) (effects (G16) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13) (del I14) (del I15)))   

(operator A17 (params) (preconds (I17)) (effects (G17) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13) (del I14) (del I15) (del I16)))

(operator A18 (params) (preconds (I18)) (effects (G18) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13) (del I14) (del I15) (del I16)
(del I17)))   

(operator A19 (params) (preconds (I19)) (effects (G19) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13) (del I14) (del I15) (del I16)
(del I17) (del I18)))   

(operator A20 (params) (preconds (I20)) (effects (G20) (del I0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) (del I9)
(del I10) (del I11) (del I12) (del I13) (del I14) (del I15) (del I16)
(del I17) (del I18) (del I19)))   




