A.15.3:4.4 - Plan a future operation argument or result

Open the cited A.6.1 mechanism edition, choose its operationDesignator, then choose the argumentDesignator or resultDesignator. Apply that declaration’s ValueKind, bindingDesignationRule, binding predicate, semantic cardinality, and the plan’s stated conditions.

The row plans a value; it is not an application or binding. An actual argument binding needs an identified application whose argument-binding predicate holds. An actual result binding additionally needs that application to return the value under the declared result meaning. Type compatibility, an expected result, a method phrase, a ticket value, or a matching token establishes neither binding.