Skip to content
docs
Arxo ↗

LDC-E8208 — Second template in one label

For LLMs5 sections

A label carries at most one predicate template: one relation has one verbal shape, and two competing sentences on the same label can never agree. When a label declares a second template — in the same label block or in a repeated label for the same language — the compiler stops at the second one and asks to keep only one.

Merging the two sentences into a single template is the whole fix.

Arxo Law
language "law.core" version "0.2";
package demo.diag version "0.1.0";
namespace "urn:law:demo:diag";
entity C { label ru-KZ official "C"; }
relation r(a: C) kind empirical {
label ru-KZ official "r" { template "{a}"; template "and {a}"; }
}
Arxo Law
language "law.core" version "0.2";
package demo.diag version "0.1.0";
namespace "urn:law:demo:diag";
entity C { label ru-KZ official "C"; }
relation r(a: C) kind empirical {
label ru-KZ official "r" { template "{a}"; }
}

The engine reports this in its own wording:

Output
example.law:7:48: error LDC-E8208: second predicate template in label "ru-KZ": a label has one template (§218.2)

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

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