Interpretation forms from the corpus

Analysis of real fragments: the package identifier, the act, the form verdict (exemplary / disputed / wrong form choice), and why.

OverviewBoundariesCorpus formsPitfalls

Law

1. Turkish Constitution — narrow vs broad reading of the proviso (exemplary)

Package tr.constitution — Constitution of Türkiye (NarrowGroundReading / BroadGroundReading):

Arxo Law

interpretation NarrowGroundReading of TR_CONST_ART_13 {
    status disputed;
    ...
}

interpretation BroadGroundReading of TR_CONST_ART_13 {
    status disputed;
    ...
    include GroundStatedAnywhereInConstitution;
}

interpretation_group RestrictionGroundReading {
    alternatives NarrowGroundReading, BroadGroundReading;
    selection any_of;
}

Exemplary. The of TR_CONST_ART_13 provenance names the construed document; the broad reading brings a rule in by include membership; both disputed statuses honestly record the dispute, and the any_of group admits both readings at once. The “relevant article = the right’s own article vs any article of the Constitution” fork is the canonical subject of readings.

2. Iranian Constitution — approbatory vs informational supervision (exemplary)

Package ir.constitution — Constitution of Iran:

Arxo Law

interpretation ApprobatorySupervision of IR_CONST_ART_99 {
    status disputed;
    ...
    include ApprobatorySupervisionPower;
}

interpretation InformationalSupervisionReading of IR_CONST_ART_99 {
    status disputed;
    ...
    include InformationalSupervision;
}

Exemplary. The same form: two disputed readings of one fragment (art. 99 — the Guardian Council’s supervision), membership bringing in opposite powers, the SupervisionReadings group — any_of.

3. DPRK Constitution — declaration vs condition with mandatory choice (exemplary)

Package kp.constitution — Constitution of the DPRK (CollectivismIsDeclarativeBasis / CollectivismConditionsExercise, CollectivismReadings group, selection exactly_one).

Exemplary. The same fork form but an exactly_one policy: without a context choice the dependent queries get INTERPRETATION_REQUIRED — the only inspected corpus case with a mandatory policy.

History and custom

4. The Yasa — command vs practice of tolerance (exemplary)

Package mng.corpus.yasa — the Mongol Yasa (TolerationAsCommandReading of YASA_MAQRIZI_II / TolerationAsPracticeReading of YASA_JUVAYNI_2, TolerationReadings group, selection any_of).

Exemplary. The readings attach to different sources of one custom (Maqrizi vs Juvayni) — the of provenance separates the primary sources without mixing them. The same act holds three more groups of the same form (ServiceScopeReadings, HorseTheftReadings and others): scaling without variation in meaning.

5. Ottoman family law — a codified departure from the madhhab (exemplary)

Package osm.family_1917 — Ottoman family law (1917) (OttomanCodifiedMadhhabDeparture of OSM_HAK_ART_104 / HanafiBackgroundReading of OSM_HAK_ART_104).

Exemplary as a subject: codification versus the background Hanafi reading of one article — the reading records exactly the seam where statute departs from tradition.

Teaching packages

6. This directory’s example pair — selection vs unresolvedness (exemplary)

examples/two-readings/package.law (two nested rules, an exactly_one group, selection by a context line) and examples/unresolved-group/package.law (the same fork + a base rule outside the readings).

Exemplary as a full demonstration of alternative evaluation: the selected alternative activates its nodes (TRUE_ONLY), an unresolved group blanks the dependent query (INTERPRETATION_REQUIRED), an independent query passes (TRUE_ONLY + COMPUTED).