Pre-condition: the indirect object must be able to touch the target object. This can be used for actions where the direct object is going to be manipulated by an "agent" of the action (i.e., the indirect object), rather than directly by the actor: MOVE X WITH Y, for example.

Note that the target object of this condition should be the direct object in most cases, so this condition should usually be used like this:

dobjFor(MoveWith) { preCond = [iobjTouchObj] }

In other words, this is a precondition that we apply in most cases to the *direct* object.

iobjTouchObj :   TouchObjCondition