# statement > 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-statement Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [coordination](https://banes-lab.com/ontology/grammar/pag-productions-coordination.md) and before [Document types](https://banes-lab.com/ontology/grammar/the-document-types.md). Every PAG production record, with what grounds it and how it is checked. ### directive 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 ### action_expr 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 ### if_statement Details Rule "IF" ":" + ("ELSE" "IF" ":" +)* Grounds [representation:logic](https://banes-lab.com/records/reasoning/representation-logic.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 ### for_loop Details Rule "FOR" "EACH" "IN" ":" + Grounds [representation:computation](https://banes-lab.com/records/reasoning/representation-computation.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 ### try_catch Details Rule "TRY" ":" + "CATCH" ":" + Grounds [representation:computation](https://banes-lab.com/records/reasoning/representation-computation.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 ### declaration_statement Details Rule "SET" "=" | "DECLARE" ":" Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.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) - [Logic](https://banes-lab.com/records/reasoning/representation-logic.md) - [Computation](https://banes-lab.com/records/reasoning/representation-computation.md) - [Symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md)