# coordination > Every PAG production record, with what grounds it and how it is checked. Page: Ontology · Grammar Canonical: https://banes-lab.com/ontology/grammar#pag-productions-coordination Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md) and before [statement](https://banes-lab.com/ontology/grammar/pag-productions-statement.md). Every PAG production record, with what grounds it and how it is checked. ### semantic_operation Details Rule "DISCOVER_RESOURCES" | "READ_RESOURCE" | "SEARCH_CONTENT" | "ANALYZE_CONTENT" | "EXTRACT_FACTS" | "CALCULATE_METRIC" | "COMPOSE_ARTIFACT" | "VALIDATE_ARTIFACT" | "PERSIST_ARTIFACT" | "EXECUTE_TOOL" | "REQUEST_DECISION" | "REPORT_RESULT" Grounds [axis:formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### tool_invocation Details Rule Grounds [axis:formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### tool_result_clause Details Rule | "INTO" | "AS" Grounds [axis:formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### state_machine_declaration Details Rule "STATE_MACHINE" ":" + + Grounds [representation:dynamical-systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### dag_declaration Details Rule "DAG" ":" + Grounds [representation:graph](https://banes-lab.com/records/reasoning/representation-graph.md), [invariant:epi-declared-dependency](https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### priority_queue_declaration Details Rule "PRIORITY_QUEUE" ":" Grounds [node:tel-priority](https://banes-lab.com/records/reasoning/node-tel-priority.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### flowchart_declaration Details Rule "FLOWCHART" ":" + Grounds [representation:graph](https://banes-lab.com/records/reasoning/representation-graph.md), [axis:representation](https://banes-lab.com/records/reasoning/axis-representation.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### surface_declaration Details Rule "SURFACE" ":" + Grounds [representation:graph](https://banes-lab.com/records/reasoning/representation-graph.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### record_declaration Details Rule "RECORD" "subject:" * Grounds [representation:graph](https://banes-lab.com/records/reasoning/representation-graph.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### edge_clause Details Rule Grounds [invariant:epi-declared-dependency](https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### edge_kind Details Rule "PARENT" | "SATISFIED_BY" | "BLOCKS" | "ANSWERS" | "REFUTES" | "SUPERSEDES" Grounds [representation:graph](https://banes-lab.com/records/reasoning/representation-graph.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ### wait_statement Details Rule "WAIT" "ON" "AS" "INTO" Grounds [node:ter-block](https://banes-lab.com/records/reasoning/node-ter-block.md) How it is checked Checked by the grammar integrity check, which resolves every nonterminal a production references and every declared terminal Population Every production and every terminal the grammar declares Freshness A verdict stands until a production or the terminal list changes Refusal The ontology resolution gate fails on a dangling nonterminal or an unused terminal Observation None, because the productions describe document shape and are never executed Evidence Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves Authoritative side The production and terminal lists, which every reference in a right-hand side resolves to Depends on Not answered Shape it refuses Not answered ## Links to - [Formalization](https://banes-lab.com/records/reasoning/axis-formalization.md) - [Dynamical Systems](https://banes-lab.com/records/reasoning/representation-dynamical-systems.md) - [Graph](https://banes-lab.com/records/reasoning/representation-graph.md) - [Declared Dependency](https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md) - [Branch Priority](https://banes-lab.com/records/reasoning/node-tel-priority.md) - [Representation](https://banes-lab.com/records/reasoning/axis-representation.md) - [Blocked Run](https://banes-lab.com/records/reasoning/node-ter-block.md)