Objects, x, in T1 U T2 all have property: Exists y1:T2 U T3. orbits(y1,x);
Objects, x, in T5 all have property: pain(x);
Objects, x, in T1 U T2 U T3 all have property: planet(x);
Objects, x, in T4 all have property: pleasure(x);
Objects, x, in T6 U T7 U T8 all have property: province(x);

## Tim :  Operator  Parameter  Restrictions :

succumb(x1:T5,x2:T4)
feast(x1:T4,x2:T0,x3:T0)
overcome(x1:T5,x2:T4)
TIM: ADDITIONAL STATE INVARIANTS, USING SUB-STATE ANALYSIS:
These additional invariants show that the transports are always at a location and never loaded into other transports. FORALL x:T4. FORALL y1. FORALL z1. craves(x,y1)
AND craves(x,z1) =  y1 = z1 FORALL x:T4. (Exists y1:T0, craves(x,y1))
C.3  The  Logistics  Domain TIM: Domain analysis complete for logistics-strips (prob05.pddl)
TIM : TYPES:
Type TO =  bos-truck,la-truck,pgh-truck Type T1 =  bos-po,la-po,pgh-po Type T2 =  bos-airport,la-airport,pgh-airport Type T3 =  bos,la,pgh Type T4 =  package1,package2,package3,package4,package5,package6, package7,package8 Type T5 =  airplane1,airplane2 TIM : STATE INVARIANTS:
FORALL x:TO U T4 U T5. FORALL y1. FORALL z1. at(x,y1)
AND at(x,z1) =  y1 = z1 FORALL x:TO U T4 U T5. FORALL y1. FORALL z1. in(x,y1)
AND in(x,z1) =  y1 = z1 FORALL x:TO U T4 U T5. (Exists y1:T1 U T2. at(x,y1)