(define (problem morris-robot1) (:domain morris) (:objects A) (:goal (and (charged) (not (hole)))) (:init (at A) (charged) (hole)) )