Markdown for LLMs

LDC-E8206 — Parameter missing from the predicate template

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

# 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

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

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

```text
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](/constructs/vocabulary/) — how names are declared and which positions take them.