(define (problem Trains1) (:domain Trains) (:objects avon bath corning dansville elmira tr1 tr2 tr3 tr4 tr5 e1 e2 e3 bc1 bc2 bc3 bc4 tc1 ors1 bas1 oj-fac1) (:init (city avon) (city bath) (city corning) (city dansville) (city elmira) (track tr1) (track tr2) (track tr3) (track tr4) (track tr5) (connects tr1 avon bath) (connects tr1 bath avon) (connects tr2 bath corning) (connects tr2 corning bath) (connects tr3 avon dansville) (connects tr3 dansville avon) (connects tr4 dansville corning) (connects tr4 corning dansville) (connects tr5 corning elmira) (connects tr5 elmira corning) (engine e1) (engine e2) (engine e3) (car bc1) (car bc2) (car bc3) (car bc4) (car tc1) (boxcar bc1) (boxcar bc2) (boxcar bc3) (boxcar bc4) (tanker-car tc1) (oranges ors1) (bananas bas1) (oj-fac oj-fac1) (empty bc1) (empty bc2) (empty bc3) (empty bc4) (empty tc1) (loose bc1) (loose bc2) (loose bc3) (loose bc4) (loose tc1) (at e1 avon) (at bas1 avon) (at bc1 bath) (at bc2 bath) (at bc3 dansville) (at tc1 corning) (at ors1 corning) (at e2 elmira) (at e3 elmira) (at bc4 elmira) (at oj-fac1 elmira)) (:goal (AND (exists (?x) (and (oranges ?x) (at ?x bath)))))) ;; Initial states of Trains1/2/3 and of T-Trains1/2/3: ;; the initial state of Trains3 (T-Trains3) is the same as that of ;; Trains1 (T-Trains1) except that oj-fac1 and e3 are at Corning instead ;; of Elmira. The initial state of Trains2 is the same as that of Trains3 ;; except that the connections from Corning to Bath and from Dansville to ;; Corning are disabled (say, for maintenance). ;;