defeater-collision-without-direct-priority

Два defeasible-правила одного пакета выводят одну голову с противоположной полярностью, и ни один priority_rule не касается обоих — форма, при которой конфликт может остаться BOTH и изъятие не иметь эффекта; исход требует проверки: приоритет действует транзитивно, головы могут не унифицироваться.

Query

LawQL

from a in rules
where a.strength == "defeasible"
  and exists(b in rules
             where (b.package == a.package
                    and b.head_predicate == a.head_predicate
                    and b.strength == "defeasible"
                    and b.head_polarity != a.head_polarity
                    and not exists(p in nodes
                                   where (p.package == a.package
                                          and p.kind == "priority_rule"
                                          and exists(x in edges where (x.from == p.id and x.to == a.id))
                                          and exists(y in edges where (y.from == p.id and y.to == b.id))))))
select a.id as node, a.head_predicate as predicate, anchor(a.id) as anchors