scheller-2026-self-prioritization — what each format carries
23 claims, 91 typed relations between them.
One source, three targets. Each row is a relation type the paper’s claim tree uses; each column is what became of it.
| Relation | In the tree | MIRA | OXA | Discourse Graphs |
|---|---|---|---|---|
requires | 15 | cg:requires, neutral | kept | dropped |
scopes | 14 | cg:scopes, neutral | kept | dropped |
supports | 11 | cg:supports, under mira:supports | kept | kept |
interprets | 10 | cg:interprets, neutral | kept | dropped |
confirms | 9 | cg:confirms, under mira:supports | kept | kept |
validates | 7 | cg:validates, under mira:supports | kept | kept |
enables-method | 7 | cg:enables-method, neutral | kept | dropped |
tests | 5 | cg:tests, neutral | kept | kept |
dissociates-with | 4 | cg:dissociates-with, neutral | kept | dropped |
entails | 4 | cg:entails, neutral | kept | dropped |
derived-from | 4 | — | kept | dropped |
refutes | 1 | cg:refutes, under mira:opposes | kept | kept |
What MIRA has no predicate for — and what happens instead
59 of 91 relations (65%) are neither support nor opposition. They are not dropped and not flattened. MIRA imports a Discourse Graphs base schema in which relations are definable, and its AbstractRelationDef is a neutral root — it carries no supporting or opposing commitment — so each is declared in the document with a domain, a range and a description, and the edges are typed by that declaration.
cg:requires(15) — a claim depends on another holdingcg:scopes(14) — a scope constraint governs another claim’s validitycg:interprets(10) — one claim interprets anothercg:enables-method(7) — a result makes a downstream method possiblecg:dissociates-with(4) — the source and target jointly establish a dissociation — two claims whose difference across a condition, region, population or measure is itself the finding, neither bearing on the other’s truth (symmetric)cg:entails(4) — a hypothesis entails its prediction — the deductive stepcg:derived-from(4) — a prediction derived from its hypothesis (inverse of entails)
Declaring them under mira:supports would have been worse than dropping them: it would assert that a boundary condition is evidence for the claim it limits, which reverses the meaning.
What a reader who knows only core MIRA sees
Every relation keeps its own type — nothing is flattened into supports. 28 of the 87 edges are declared under mira:supports or mira:opposes, so a reader that follows only those two still gets their direction; the reason the edge was drawn is in the declaration rather than lost.
requires(15) — neutralscopes(14) — neutralsupports(11) — undermira:supportsinterprets(10) — neutralconfirms(9) — undermira:supportsvalidates(7) — undermira:supportsenables-method(7) — neutraltests(5) — neutraldissociates-with(4) — neutralentails(4) — neutralrefutes(1) — undermira:opposes
What MIRA genuinely cannot carry
4 derived-from relations are not emitted as edges. This is not loss: derived-from is declared owl:inverseOf entails, and MIRA never materialises the reverse direction — its own 942-node demo graph emits no inverse edges either. A reader recovers each one from the forward edge and the declaration.
Beyond those, nothing. Every relation in this paper reaches the export, either as an edge or as the declared inverse of one.
What no format carries
Verification — that a claim was checked, by what code, against what deposited data, with what result beside the published value. None of the three has a node for it.
This paper’s records: 8 verified, 4 partial, 2 unattempted.
Generated by scripts/formats_report.py from the files in exports/, not from the converters’ mapping tables — a table says what a converter intends, the export says what it did.