(define (problem blocksworld-1) (:domain blocksworld) (:objects a b c) (:init (on-table a) (clear a) (on-table b) (clear b) (on-table c) (clear c) (arm-empty)) (:goal (and (on b c) (on c a))))