(define (problem Go-Jack) (:domain bulldozer) (:objects a b d e g jack) (:goal (AND (at Jack g))) (:length (:serial 4 ) (:parallel 4)) (:init (at jack a) ;;(at bulldozer e) ;; (vehicle bulldozer) (mobile jack) (person jack) (road a e) (road e b) (bridge b d) (road d g)))