# tool_invocation

> <semantic_operation> <tool_target> <optional_tool_param_clause> <optional_tool_result_clause>

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

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [semantic_operation](https://banes-lab.com/records/pag/production-semantic-operation.md) and before [tool_result_clause](https://banes-lab.com/records/pag/production-tool-result-clause.md).

## Grounds

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