Markdown for LLMs

anchored-relation-without-executable

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

# anchored-relation-without-executable

Выводимое отношение заякорено на фрагмент, на который не заякорен ни один выводящий узел — статья ANCHORED вместо EXECUTABLE в мере [§33.1](https://github.com/arxohq/law/blob/master/spec/SPEC.ru/07-part-vii-source-and-document-model.ru.md#331-formalization-coverage), право выражено, а мера этого не видит.

## Query

```lawq
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
```