LDC-E8206 — Parameter missing from the predicate template

What it means

A predicate template must mention every parameter of its relation: the template is the complete verbal shape of the predicate, so a parameter left out of it would be invisible to readers. When one parameter never occurs between the braces, the compiler stops at the template and names the missing parameter.

Adding the missing placeholder to the sentence is the whole fix — no restructuring is ever needed.

Example

Arxo Law

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

entity Claim;
relation penalty(demand: Claim, amount: Integer) kind institutional {
    label ru-KZ official "r" { template "{demand}"; }
}

Fix

Arxo Law

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

entity Claim;
relation penalty(demand: Claim, amount: Integer) kind institutional {
    label ru-KZ official "r" { template "{demand} and {amount}"; }
}

Engine message

The engine reports this in its own wording:

Output

example.law:7:32: error LDC-E8206: parameter amount does not occur in the predicate template: the template hides no argument (§218.2, LS §3.3 totality)

Related

• Vocabulary — how names are declared and which positions take them.