Markdown for LLMs

defeater-head-variable-unless

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

# defeater-head-variable-unless

Дефитер, рождённый из `unless` (id `<правило>/unless/<имя>`), связывает переменную головы в собственном теле — форма, при которой он может погасить и собственное исключение; исход требует проверки связывания.

## Query

```lawq
from r in rules
where r.strength == "defeater"
  and contains(r.id, "/unless/")
  and overlaps(r.head_variables, r.body_variables)
select r.id as node, r.head_variables as head_variables, anchor(r.id) as anchors
```