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

