{
  "content": {
    "icon": "bi-code-square",
    "id": "pag-productions-statement",
    "intro": "Every PAG production record, with what grounds it and how it is checked.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "<optional_task_marker> <optional_meta_tag> <optional_context_cue> <directive_body>",
                "term": "Rule"
              },
              {
                "description": "[axis:formalization](/records/reasoning/axis-formalization)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-directive",
        "title": "directive"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "<action_verb> <modifier>* <action_target> <optional_action_args>",
                "term": "Rule"
              },
              {
                "description": "[axis:formalization](/records/reasoning/axis-formalization)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-action-expr",
        "title": "action_expr"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"IF\" <condition> \":\" <directive>+ (\"ELSE\" \"IF\" <condition> \":\" <directive>+)* <optional_else_clause>",
                "term": "Rule"
              },
              {
                "description": "[representation:logic](/records/reasoning/representation-logic)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-if-statement",
        "title": "if_statement"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"FOR\" \"EACH\" <iterator> \"IN\" <collection> \":\" <directive>+",
                "term": "Rule"
              },
              {
                "description": "[representation:computation](/records/reasoning/representation-computation)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-for-loop",
        "title": "for_loop"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"TRY\" \":\" <directive>+ \"CATCH\" <optional_exception_var> \":\" <directive>+",
                "term": "Rule"
              },
              {
                "description": "[representation:computation](/records/reasoning/representation-computation)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-try-catch",
        "title": "try_catch"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "\"SET\" <variable_name> \"=\" <expression> | \"DECLARE\" <variable_name> \":\" <type_annotation>",
                "term": "Rule"
              },
              {
                "description": "[representation:symbolic](/records/reasoning/representation-symbolic)",
                "term": "Grounds"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the grammar integrity check, which resolves every nonterminal a production references and every declared terminal",
                "term": "Checked by"
              },
              {
                "description": "Every production and every terminal the grammar declares",
                "term": "Population"
              },
              {
                "description": "A verdict stands until a production or the terminal list changes",
                "term": "Freshness"
              },
              {
                "description": "The ontology resolution gate fails on a dangling nonterminal or an unused terminal",
                "term": "Refusal"
              },
              {
                "description": "None, because the productions describe document shape and are never executed",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a dangling nonterminal and an unused terminal, and passes a grammar whose every reference resolves",
                "term": "Evidence"
              },
              {
                "description": "The production and terminal lists, which every reference in a right-hand side resolves to",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "pag-production-declaration-statement",
        "title": "declaration_statement"
      }
    ],
    "title": "statement",
    "kind": "productions"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/grammar#pag-productions-statement",
  "number": "236",
  "page": "ontology",
  "ref": "chapter:/ontology/grammar#pag-productions-statement",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-axis-formalization",
          "json": "https://banes-lab.com/json/records/reasoning/axis-formalization",
          "label": "Formalization",
          "markdown": "https://banes-lab.com/records/reasoning/axis-formalization.md",
          "ref": "reasoning:axis-formalization"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-logic",
          "json": "https://banes-lab.com/json/records/reasoning/representation-logic",
          "label": "Logic",
          "markdown": "https://banes-lab.com/records/reasoning/representation-logic.md",
          "ref": "reasoning:representation-logic"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-computation",
          "json": "https://banes-lab.com/json/records/reasoning/representation-computation",
          "label": "Computation",
          "markdown": "https://banes-lab.com/records/reasoning/representation-computation.md",
          "ref": "reasoning:representation-computation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-representation-symbolic",
          "json": "https://banes-lab.com/json/records/reasoning/representation-symbolic",
          "label": "Symbolic",
          "markdown": "https://banes-lab.com/records/reasoning/representation-symbolic.md",
          "ref": "reasoning:representation-symbolic"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "pag-productions-statement",
  "summary": "Every PAG production record, with what grounds it and how it is checked.",
  "tab": "grammar",
  "title": "statement",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/grammar#the-document-types",
      "json": "https://banes-lab.com/json/ontology/grammar/the-document-types",
      "label": "Document types",
      "markdown": "https://banes-lab.com/ontology/grammar/the-document-types.md",
      "ref": "chapter:/ontology/grammar#the-document-types"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/grammar#pag-productions-coordination",
      "json": "https://banes-lab.com/json/ontology/grammar/pag-productions-coordination",
      "label": "coordination",
      "markdown": "https://banes-lab.com/ontology/grammar/pag-productions-coordination.md",
      "ref": "chapter:/ontology/grammar#pag-productions-coordination"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/grammar",
    "json": "https://banes-lab.com/json/api/pages/ontology/grammar",
    "label": "Ontology · Grammar",
    "markdown": "https://banes-lab.com/api/pages/ontology/grammar.md",
    "ref": "api:/ontology/grammar"
  }
}