anchored-relation-without-executable

Выводимое отношение заякорено на фрагмент, на который не заякорен ни один выводящий узел — статья ANCHORED вместо EXECUTABLE в мере §33.1, право выражено, а мера этого не видит.

Query

LawQL

from a in anchors
where exists(d in nodes where (d.id == a.node and d.kind == "symbol_decl"))
  and exists(s in fields
             where (s.node == a.node and s.field == "relationKind" and s.value == "derived"))
  and not exists(b in anchors
                 where (b.anchor == a.anchor
                        and b.package == a.package
                        and exists(e in nodes
                                   where (e.id == b.node
                                          and e.kind in ["rule", "priority_rule", "closure_policy",
                                                         "norm_template", "constraint"]))))
select a.node as node, a.anchor as fragment, anchor(a.node) as anchors