Implicit action versus implicit target for explicit action

The notation, luckily, is already able to distinguish what is needed. But it helps to clarify the convention (which I got straight during last night's insomnia);

X->Z is an explicit action where specificity is not needed for the action.
X->[Z] is an implicit action where no specificity is possible for the action
X-v->[Z] is an explicit action, specifically 'v', is taken with an implicit target.

Thus:
"Jane throws the ball"...........Jane-throws->ball or Jane->ball
"Jane is ready"...... (Jane->[Z])*
"Jane throws"....... Jane -throw-> [Z]

So we can track the sub narratives on the way through:
"Jane is ready to throw the ball"

(Jane->[Z])* :: [Jane]-throw->[Z], ball