;; a simple DWR problem with 1 robot and 2 locations (define (problem trivial1) (:domain dock-worker-robot) (:objects r1 - robot l1 l2 - location k1 k2 - crane p1 q1 p2 q2 - pile ca - container) (:init (adjacent l1 l2) (adjacent l2 l1) (attached p1 l1) (attached q1 l1) (attached p2 l2) (attached q2 l2) (belong k1 l1) (belong k2 l2) (in ca p1) (on ca pallet) (top ca p1) (top pallet q1) (top pallet p2) (top pallet q2) (at r1 l1) (unloaded r1) (occupied l1) (empty k1) (empty k2)) ;; the task: (:goal (and (in ca q1))))