(define (problem gripper1)

(:domain gripper)

(:objects
  a b c )

(:init
  (on-table a)
  (on-table b)
  (on-table c)
  (clear a)
  (clear b)
  (clear c)
  (grip-empty))

(:goal (and (on b a) (on c b)))

)