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