(domain logistics) 
(type object) 
(type truck) 
(isa truck vehicle)
(type airplane) 
(isa airplane vehicle)
(type package) 
(isa package physobj)
(type vehicle) 
(isa vehicle physobj)
(type airport) 
(isa airport place)
(type location) 
(isa location place)
(type city) 
(isa city object)
(type place) 
(isa place object)
(type physobj) 
(isa physobj object)
(predicate in) 
(arity in 2) 
(types in (package, vehicle)) 
(predicate at) 
(arity at 2) 
(types at (physobj, place)) 
(predicate in-city) 
(arity in-city 2) 
(types in-city (place, city)) 
(action UNLOAD-TRUCK) 
(types UNLOAD-TRUCK (package truck place)) 
(= (pre (UNLOAD-TRUCK $pkg $truck $loc)) (superpose ((at $truck $loc) (in $pkg $truck)))) 
(= (eff-pos (UNLOAD-TRUCK $pkg $truck $loc)) (superpose ((at $pkg $loc)))) 
(= (eff-neg (UNLOAD-TRUCK $pkg $truck $loc)) (superpose ((in $pkg $truck)))) 
(action UNLOAD-AIRPLANE) 
(types UNLOAD-AIRPLANE (package airplane place)) 
(= (pre (UNLOAD-AIRPLANE $pkg $airplane $loc)) (superpose ((in $pkg $airplane) (at $airplane $loc)))) 
(= (eff-pos (UNLOAD-AIRPLANE $pkg $airplane $loc)) (superpose ((at $pkg $loc)))) 
(= (eff-neg (UNLOAD-AIRPLANE $pkg $airplane $loc)) (superpose ((in $pkg $airplane)))) 
(action DRIVE-TRUCK) 
(types DRIVE-TRUCK (truck place place city)) 
(= (pre (DRIVE-TRUCK $truck $loc-from $loc-to $city)) (superpose ((at $truck $loc-from) (in-city $loc-from $city) (in-city $loc-to $city)))) 
(= (eff-pos (DRIVE-TRUCK $truck $loc-from $loc-to $city)) (superpose ((at $truck $loc-to)))) 
(= (eff-neg (DRIVE-TRUCK $truck $loc-from $loc-to $city)) (superpose ((at $truck $loc-from)))) 
(action LOAD-AIRPLANE) 
(types LOAD-AIRPLANE (package airplane place)) 
(= (pre (LOAD-AIRPLANE $pkg $airplane $loc)) (superpose ((at $pkg $loc) (at $airplane $loc)))) 
(= (eff-pos (LOAD-AIRPLANE $pkg $airplane $loc)) (superpose ((in $pkg $airplane)))) 
(= (eff-neg (LOAD-AIRPLANE $pkg $airplane $loc)) (superpose ((at $pkg $loc)))) 
(action LOAD-TRUCK) 
(types LOAD-TRUCK (package truck place)) 
(= (pre (LOAD-TRUCK $pkg $truck $loc)) (superpose ((at $truck $loc) (at $pkg $loc)))) 
(= (eff-pos (LOAD-TRUCK $pkg $truck $loc)) (superpose ((in $pkg $truck)))) 
(= (eff-neg (LOAD-TRUCK $pkg $truck $loc)) (superpose ((at $pkg $loc)))) 
(action FLY-AIRPLANE) 
(types FLY-AIRPLANE (airplane airport airport)) 
(= (pre (FLY-AIRPLANE $airplane $loc-from $loc-to)) (superpose ((at $airplane $loc-from)))) 
(= (eff-pos (FLY-AIRPLANE $airplane $loc-from $loc-to)) (superpose ((at $airplane $loc-to)))) 
(= (eff-neg (FLY-AIRPLANE $airplane $loc-from $loc-to)) (superpose ((at $airplane $loc-from)))) 

(problem logistics-4-0) 
(object tru1)
(isa tru1 truck)
(object obj21)
(isa obj21 package)
(object obj12)
(isa obj12 package)
(object obj22)
(isa obj22 package)
(object tru2)
(isa tru2 truck)
(object apn1)
(isa apn1 airplane)
(object obj11)
(isa obj11 package)
(object cit2)
(isa cit2 city)
(object cit1)
(isa cit1 city)
(object apt2)
(isa apt2 airport)
(object pos1)
(isa pos1 location)
(object apt1)
(isa apt1 airport)
(object obj23)
(isa obj23 package)
(object obj13)
(isa obj13 package)
(object pos2)
(isa pos2 location)
(init state 0) 
(= (valuation (state 0)) (superpose ((in-city apt2 cit2) (in-city pos2 cit2) (at tru2 pos2) (at obj23 pos2) (at obj21 pos2) (at obj22 pos2) (at obj11 pos1) (in-city pos1 cit1) (at obj12 pos1) (in-city apt1 cit1) (at apn1 apt2) (at obj13 pos1) (at tru1 pos1)))) 
(goal (and (at obj11 apt1) (at obj23 pos1) (at obj13 apt1) (at obj21 pos1)))