The attribute space for the properties in the first of these groups is subjected to a much more rigorous analysis in the sub-space invariants below.

Objects, x, in TO U T1 U T2 U T5 U T6 U T7 can have property:
Exists y1:T3. in(x,y1);
Exists y1:T4. on(x,y1);
Exists y1:T4. tight(x,y1);
Exists y1:T4. loose(x,y1);
have(x); Objects, x, in T3 can have property:
Exists y1:T0 U T1 U T2 U T5 U T6 U T7. in(y1,x);
Objects, x, in T3 all have property: container(x);
Objects, x, in T4 all have property: hub(x);
Objects, x, in T1 all have property: intact(x);
Objects, x, in T7 all have property: jack(x); Objects, x, in T6 all have property: nut(x); Objects, x, in T5 all have property: pump(x);
Objects, x, in T3 all have property: unlocked(x);
Objects, x, in T1 U T2 all have property: wheel(x); Objects, x, in TO all have property: wrench(x);

## Tim :  Operator  Parameter  Restrictions :

inflate(x1:T1)
put-on-wheel(x1:T1 U T2,x2:T4)
remove-wheel(x1:T1 U T2,x2:T4)
put-on-nuts(x1:T6,x2:T4) remove-nuts(x1:T6,x2:T4)
jack-down(x1:T4)
jack-up(x1:T4) tighten(x1:T6,x2:T4)
loosen(x1:T6,x2:T4)
put-away(x1:T0 U T1 U T2 U T5 U T6 U T7,x2:T3)
fetch(x1:T0 U T1 U T2 U T5 U T6 U T7,x2:T3)
close-container(x1:T3)
open-container(x1:T3)
cuss()

## Tim: Additional State Invariants, Using Sub-Space Analysis:

We report here only the additional state invariants that add information to the invariants already listed. TIM currently reports invariants that are subsumed by the earlier collection.

It should be observed that the first wheel is intact but the second is not, and this gives rise to the following new invariant for wheels of the second type.