# declaration > Every PAG keyword record, with what grounds it and how it is checked. Page: Ontology · Grammar Canonical: https://banes-lab.com/ontology/grammar#pag-keywords-declaration Listed in [Ontology · Grammar](https://banes-lab.com/api/pages/ontology/grammar.md), after [control_flow](https://banes-lab.com/ontology/grammar/pag-keywords-control-flow.md) and before [modifier](https://banes-lab.com/ontology/grammar/pag-keywords-modifier.md). Every PAG keyword record, with what grounds it and how it is checked. ### SET Details Meaning Variable assignment Example SET name = value Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### DECLARE Details Meaning Typed declaration Example DECLARE x: string Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### DEFINE Details Meaning Constant definition Example DEFINE PI = 3.14 Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### LET Details Meaning Local binding Example LET temp = expr Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ### CONST Details Meaning Immutable value Example CONST MAX = 100 Grounds [representation:symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md) How it is checked Checked by a structured-document validator that parses each document against the grammar and reports every defect by its shape Population Every agent and template document the validator walks, and every occurrence of the keyword in them Freshness A verdict stands until the grammar data or a document that uses the keyword changes Refusal The validation stage fails the gate on any defect code, so a document with a malformed keyword does not ship Observation None, because a keyword is static text in a document, and nothing observes it while a run executes Evidence Watched to fire and to accept: a suite plants a retired head in a real template and validates every agent and template on disk clean Authoritative side The grammar data, which every keyword in a document conforms to Depends on Not answered Shape it refuses Not answered ## Links to - [Symbolic](https://banes-lab.com/records/reasoning/representation-symbolic.md)