(define (problem Bulldozer-prob) (:domain bulldozer) (:objects a b c d e f g jack bulldozer) (:goal (AND (at bulldozer g))) (:init (at jack a) (at bulldozer e) (vehicle bulldozer) (mobile jack) (person jack) (road a b) (road b a) (road a e) (road e a) (road e b) (road b e) (road a c) (road c a) (road c b) (road b c) (bridge b d) (bridge d b) (bridge c f) (bridge f c) (road d f) (road f d) (road f g) (road g f) (road d g) (road g d)) (:length (:serial 5 ) (:parallel 5)) )