defeater-head-variable-unless

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

Query

LawQL

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