Glossary · Grammar and objects
Domain
A part of the general ChessGrammar map with its own vocabulary, objects and proof obligations.
A domain is a part of the general map of ChessGrammar, with its own vocabulary, objects and proof obligations. It is open when its grammar is written and its records are published. When it has a place on the map but no published record, it is reserved.
edition v3.0 · 2026slug domainFR Domaine
Back to glossary