Markdown for LLMs

evaluative-fact-without-producer

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

# evaluative-fact-without-producer

Оценочный признак («существенный вред», «явно чрезмерный», «без уважительной причины», «рознь», «превышение пределов») подан ЭМПИРИЧЕСКИМ отношением дела, у которого нет ни правила-производителя, ни канала суждения [§47.3](https://github.com/arxohq/law/blob/master/spec/SPEC.ru/08-part-viii-type-system.ru.md#473-judgment) — содержание оценки целиком отдано автору дела, и доказательство лишь повторяет сказанное ему.

## Query

```lawq
from n in nodes
where n.kind == "symbol_decl"
  and exists(k in fields
             where (k.node == n.id and k.field == "relationKind" and k.value == "empirical"))
  and exists(l in labels
             where (l.node == n.id
                    and (contains(l.text, "разумн") or contains(l.text, "добросовестн") or
                         contains(l.text, "существенн") or contains(l.text, "уважительн") or
                         contains(l.text, "соразмерн") or contains(l.text, "чрезмерн") or
                         contains(l.text, "обоснованн") or contains(l.text, "справедлив") or
                         contains(l.text, "рознь") or contains(l.text, "розни ") or
                         contains(l.text, "розни,") or
                         contains(l.text, "превышения пределов") or
                         contains(l.text, "превышение пределов") or
                         contains(l.text, "превышением пределов") or
                         contains(l.text, "превышении пределов") or
                         contains(l.text, "превышения мер") or contains(l.text, "превышение мер") or
                         contains(l.text, "явно не ") or contains(l.text, "явное не") or
                         contains(l.text, "явно чрезмерн") or contains(l.text, "явно выш") or
                         contains(l.text, "явно выход") or contains(l.text, "явно неуважительн") or
                         contains(l.text, "явно несоразмерн") or contains(l.text, "явно неразумн") or
                         contains(l.text, "явно невозможн") or
                         contains(l.text, "reasonable") or contains(l.text, "proportionate") or
                         contains(l.text, "excessive") or contains(l.text, "undue") or
                         contains(l.text, "equitable") or contains(l.text, "substantial") or
                         contains(l.text, "good faith") or contains(l.text, "bona fide") or
                         contains(l.text, "manifestly"))))
  and not exists(r in rules where r.head_predicate == n.id)
select n.id as node, anchor(n.id) as anchors
```