(define (problem problem1) (:domain over) (:init (box_closed) (item_over)) (:goal (item_in)) )