Power forms from the corpus

Samples from different domains, each with the package identifier, the act, and a verdict.

OverviewBoundariesCorpus formsPitfalls

1. Exemplary: the constitutional power to limit rights

Package tr.constitution — Constitution of Türkiye (RestrictFundamentalRight):

Arxo Law

rule FundamentalRightRestrictionPower(organ: StateOrgan, restriction: Restriction, right: FundamentalRight) strict {
    when legislative_organ(organ);
    when restriction_targets(restriction, right);
    then power RestrictFundamentalRight {
        holder organ;
        exercise restriction_enactment_attempt(organ, restriction);
        valid_when restriction_constitutionally_admissible(restriction, right);
        effect restriction_has_legal_effect(restriction);
    };

Verdict: exemplary. All four mandatory elements; valid_when is the substantive admissibility condition; nearby (lines 544, 633) — SuspendFundamentalRights, RestrictForeignersFundamentalRights in the same form.

2. Exemplary: a series of quashing powers

Package su.union_treaty_1922 — 1922 Union Treaty: CECCancelUnionCouncilDecision, PresidiumCancelUnionCouncilDecision, CECCancelCommissarOrder, PresidiumCancelCommissarOrder, UnionCouncilCancelCommissarOrder.

Verdict: exemplary. An organ’s competence is the canonical subject of power; the series shows the form scaling without variation in meaning.

3. Exemplary: a power with a delegation subject

Package uz.constitution — Constitution of Uzbekistan (FormUnionPower): a power with subject InterstateUnion;.

Verdict: exemplary. subject is a repeatable field for the delegation subject check; unrelated to the position status, but needed by the delegation check.

4. Exemplary: termination on a failed probation

Package uz.labor_code — Labour Code of Uzbekistan (RastorgnutPriNeudIspytanii).

Verdict: exemplary. A private-law power in the same exercise/valid_when/effect scheme.

5. Exemplary: immunity with an open window floor

Package fiqh.nikah — Islamic jurisprudence of marriage (FinalBondSevered): an immunity with window [@0001-01-01, infinity).

Verdict: exemplary. An open floor instead of a bare boundary name — avoiding the LDC-E2115 trap.

6. Disputed: valid_when over a judgment relation

The valid_when breach_material(s, c) form over an external judgment relation (PenaltyRule). The answer is NEITHER + REQUIRES_JUDGMENT, which is correct, but the author must check evaluation_status, not only truth_status.

Verdict: disputed. The form is legal; reading the answer is a common mistake.