LDC-E2702 — A factor claimed by both sides

For LLMs5 sections

What it means

The dictionary assigns every factor to exactly one side: the factors arguing for one party and the factors arguing for the other never overlap. A factor listed on both sides would argue for and against the same outcome at once, and no holding built on it could pick a winning side. The compiler refuses the dictionary at the doubly claimed factor.

The fix keeps the factor on the side it truly argues for and removes it from the other. Factors the dictionary never mentions fail under a different code.

Example

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

entity Case;
entity Item;
relation clear(c: Case, i: Item) kind empirical;
relation vague(c: Case, i: Item) kind empirical;
factors Deal {
for c: Case, i: Item;
domain clear(c, i), vague(c, i);
plaintiff clear;
defendant clear, vague;
courts Alpha;
}

Fix

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

entity Case;
entity Item;
relation clear(c: Case, i: Item) kind empirical;
relation vague(c: Case, i: Item) kind empirical;
factors Deal {
for c: Case, i: Item;
domain clear(c, i), vague(c, i);
plaintiff clear;
defendant vague;
courts Alpha;
}

Engine message

The engine reports this in its own wording:

example.law:12:11: error LDC-E2702: factors Deal: factor `clear` is attributed to both sides (§276.2)

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.