(define (:objects b1 b2 b3 ) (:init (arm-empty) (on-table b1) (on-table b2) (on-table b3) (clear b1) (clear b2) (clear b3) ) (:goal (and (on b2 b1) (on b3 b2) ) ) )