/* 4 objects in 2 different locations */
/* same destination */ 

(define (problem briefcase)
(:domain briefcase)
(:objects (1..2 - loc) ; the number of locations is practically
                        ; uninfluent
	  (frozen1 frozen2  - frozen) 
	  (obj1 obj2  -normal))

(:init (atRobby home)(at frozen1 1)
       (at frozen2 2)
	(at obj1 1)  (at obj2 2)   )
	
(:goal (atRobby home)(forall(?x - obj)(at ?x home)))


)