LawQL: questions to the model itself
Ask questions about the model itself: its tables, functions, named questions, answer shapes and limits.
The structural layer, form by form
Read the structural layer form by form, each with a query that runs.
Start herefrom r in rules
where r.strength == "strict"
select r.id as rule↳ 4 rows reference fixtureInvestigate a model
Follow a complete investigation, from the question to the rows it returns.
Language
Every form of the structural layer with a running query.
Relations
Every table of the snapshot with its fields.
Functions
Every function with its arity.
Questions
Named questions with parameters and filed examples.
Lints
Recorded formalization traps as named queries.
- achievement-open-window
- aggregate-head-without-key
- anchored-relation-without-executable
- dangling-const-ref
- defeater-collision-without-direct-priority
- defeater-head-variable-unless
- deontic-action-in-premise
- derived-maintenance-condition
- duplicate-declaration-label
- evaluative-fact-without-producer
- evaluative-head-from-nonevaluative-body
- interpretation-without-group
- same-side-priority-review
- strict-interpretation-consumer
- strict-negative-head
- strict-reader-of-foreign-defeasible-head
Documents and refusals
Answer shapes, the page envelope and every refusal code.
Boundary
What the structural layer refuses, and when to ask the core instead.
No matching titles. Try a shorter term or clear the filter.
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.