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