# Constructs

the most-used language constructs: syntax quoted from the grammar, semantics by section, forms from the corpus, traps from past mistakes; each page is a compilable literate package whose outcomes the engine checks

| Document |
|---|
| [Strict rules](/constructs/rule-strict/) |
| [Defeasible rules and unless](/constructs/rule-defeasible-unless/) |
| [Priority](/constructs/priority/) |
| [Definitions](/constructs/definition/) |
| [Vocabulary](/constructs/vocabulary/) |
| [Facts and evidence](/constructs/facts-and-evidence/) |
| [Negation and truth statuses](/constructs/negation-and-status/) |
| [Constraints](/constructs/constraint/) |
| [Presumptions and fictions](/constructs/presumption-fiction/) |
| [Duties](/constructs/duty/) |
| [Prohibitions](/constructs/prohibition/) |
| [Powers](/constructs/power/) |
| [Liberties and immunities](/constructs/liberty-immunity/) |
| [Claims and entitlements](/constructs/claim-entitlement-correlatives/) |
| [Lifecycle statuses](/constructs/lifecycle-statuses/) |
| [Interpretations](/constructs/interpretation/) |
| [Judgment channel](/constructs/judgment-channel/) |
| [Procedures](/constructs/procedure/) |
| [Time](/constructs/time/) |
| [Deadlines and calendar](/constructs/deadline-calendar/) |
| [Expressions and quantities](/constructs/expressions-quantities/) |
| [Sources](/constructs/sources/) |
| [Stages](/constructs/stage/) |
| [Questions to the engine](/constructs/queries/) |
| [Arguments and precedent](/constructs/argue-precedent/) |