(DEFINE (DOMAIN ART-1D-DOMAIN) (:requirements :adl) (:predicates (I-1) (I-2) (I-3) (I-4) (I-5) (I-6) (I-7) (I-8) (G-1) (G-2) (G-3) (G-4) (G-5) (G-6) (G-7) (G-8)) (:ACTION ART-1D--A-1 :PRECONDITION (AND (I-1)) :EFFECT (AND (G-1))) (:ACTION ART-1D--A-2 :PRECONDITION (AND (I-2)) :EFFECT (AND (G-2) (NOT (I-1)))) (:ACTION ART-1D--A-3 :PRECONDITION (AND (I-3)) :EFFECT (AND (G-3) (NOT (I-2)))) (:ACTION ART-1D--A-4 :PRECONDITION (AND (I-4)) :EFFECT (AND (G-4) (NOT (I-3)))) (:ACTION ART-1D--A-5 :PRECONDITION (AND (I-5)) :EFFECT (AND (G-5) (NOT (I-4)))) (:ACTION ART-1D--A-6 :PRECONDITION (AND (I-6)) :EFFECT (AND (G-6) (NOT (I-5)))) (:ACTION ART-1D--A-7 :PRECONDITION (AND (I-7)) :EFFECT (AND (G-7) (NOT (I-6)))) (:ACTION ART-1D--A-8 :PRECONDITION (AND (I-8)) :EFFECT (AND (G-8) (NOT (I-7)))))