Markdown for LLMs

Interpretation forms from the corpus

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# Interpretation forms from the corpus

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

## Law

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

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

```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:

```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`).