/* 3 objects in 3 different locations */ /* different destinations */ (define (problem briefcase) (:domain briefcase) (:objects (1..10 - loc) ; the number of locations is practically ; uninfluent (frozen1 frozen2 - frozen) (obj3 -normal)) (:init (atRobby home)(at frozen1 1) (at frozen2 2)(at obj3 3) ) (:goal (atRobby home) (at frozen1 2)(at frozen2 1)(at obj3 2)) )