# tool_result_clause

> <arrow> <tool_result_binding> | "INTO" <tool_result_binding> | "AS" <tool_result_binding>

Record: `pag:production-tool-result-clause`
Kind: production
Canonical: https://banes-lab.com/ontology/grammar#pag-production-tool-result-clause

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [tool_invocation](https://banes-lab.com/records/pag/production-tool-invocation.md) and before [state_machine_declaration](https://banes-lab.com/records/pag/production-state-machine-declaration.md).

## Grounds

- [axis:formalization](https://banes-lab.com/records/reasoning/axis-formalization.md)