strict-reader-of-foreign-defeasible-head

Strict-правило читает предикат, который в импортированном пакете выводится defeasible-правилом — LDC-E4103 сверяет производителей только внутри пакета, а поражаемые читатели той же головы дают NEITHER без диагностики (страты DECISION-0088).

Query

LawQL

from l in literals
where starts_with(l.context, "body")
  and exists(r in rules where (r.id == l.node and r.strength == "strict"))
  and exists(p in rules
             where (p.head_predicate == l.predicate
                    and p.strength == "defeasible"
                    and p.package != l.package
                    and exists(n in nodes
                               where (n.id == p.id
                                      and exists(i in imports
                                                 where (i.package == l.package
                                                        and i.imported == n.package_name))))))
select l.node as node, l.predicate as predicate, anchor(l.node) as anchors