(preconds (Istar) (I4) (I3) (I2) (I1))
(effects (G1) (G2) (Gstar) (G4) (G3))

