Markdown for LLMs

LDC-E2702 — A factor claimed by both sides

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

# LDC-E2702 — A factor claimed by both sides

## 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

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

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

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

## Related

- [Facts and evidence](/constructs/facts-and-evidence/) — what an assertion carries.