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

(operator A1 (params) (preconds (I1)) (effects (G1)))
(operator A2 (params) (preconds (I2)) (effects (G2)))
(operator A3 (params) (preconds (I3)) (effects (G3)))
(operator A4 (params) (preconds (I4)) (effects (G4)))
(operator A5 (params) (preconds (I5)) (effects (G5)))
(operator A6 (params) (preconds (I6)) (effects (G6)))
(operator A7 (params) (preconds (I7)) (effects (G7)))
(operator A8 (params) (preconds (I8)) (effects (G8)))
(operator A9 (params) (preconds (I9)) (effects (G9)))
(operator A10 (params) (preconds (I10)) (effects (G10)))
(operator A11 (params) (preconds (I11)) (effects (G11)))
(operator A12 (params) (preconds (I12)) (effects (G12)))
(operator A13 (params) (preconds (I13)) (effects (G13)))
(operator A14 (params) (preconds (I14)) (effects (G14)))
(operator A15 (params) (preconds (I15)) (effects (G15)))
(operator A16 (params) (preconds (I16)) (effects (G16)))
(operator A17 (params) (preconds (I17)) (effects (G17)))
(operator A18 (params) (preconds (I18)) (effects (G18)))
(operator A19 (params) (preconds (I19)) (effects (G19)))
(operator A20 (params) (preconds (I20)) (effects (G20)))




