is inside $Y and $Y is inside $Z then Si( is inside $Z ForAllLink $T $X $Y $Z ImplicationLink_HOJ ANDLink atTime(ST, Inside($X, $Y)) atTime(ST, Inside($Y, $Z)) atTime(ST, Inside($X,SZ)) 2. If a small object $X is over $Y and $Y is far from $Z then $X is far from $Z ForAllLink ImplicationLink_HOJ A