Grammar

JURISDICTION

Kind: keyword

Record: pag:keyword-jurisdiction

Canonical: Grammar

What the document may touch, and what is declared outside it

Listed in Grammar records, after TRUST and before ASSERT.

Grounds

  • axis:ontology
  • invariant:epi-reachable-check