Markdown for LLMs

evaluative-head-from-nonevaluative-body

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

# evaluative-head-from-nonevaluative-body

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

## Query

```lawq
from r in rules
where (contains(r.head_predicate, "razumn") or contains(r.head_predicate, "dobrosovest") or
       contains(r.head_predicate, "sushchestvenn") or contains(r.head_predicate, "uvazhitel") or
       contains(r.head_predicate, "sorazmern") or contains(r.head_predicate, "chrezmern") or
       contains(r.head_predicate, "neobosnovann") or contains(r.head_predicate, "spravedliv") or
       contains(r.head_predicate, "reasonable") or contains(r.head_predicate, "proportionate") or
       contains(r.head_predicate, "excessive") or contains(r.head_predicate, "undue") or
       contains(r.head_predicate, "equitable") or contains(r.head_predicate, "substantial") or
       contains(r.head_predicate, "good_faith") or contains(r.head_predicate, "bona_fide"))
  and not exists(d in rules
                 where (d.id == r.id
                        and (contains(d.head_predicate, "must_") or contains(d.head_predicate, "may_") or
                             contains(d.head_predicate, "owes_") or contains(d.head_predicate, "_required") or
                             contains(d.head_predicate, "_obyazan") or contains(d.head_predicate, "_vprave"))))
  and not exists(l in literals
                 where (l.node == r.id
                        and starts_with(l.context, "body")
                        and (contains(l.predicate, "razumn") or contains(l.predicate, "dobrosovest") or
                             contains(l.predicate, "sushchestvenn") or contains(l.predicate, "uvazhitel") or
                             contains(l.predicate, "sorazmern") or contains(l.predicate, "chrezmern") or
                             contains(l.predicate, "neobosnovann") or contains(l.predicate, "spravedliv") or
                             contains(l.predicate, "reasonable") or contains(l.predicate, "proportionate") or
                             contains(l.predicate, "excessive") or contains(l.predicate, "undue") or
                             contains(l.predicate, "equitable") or contains(l.predicate, "substantial") or
                             contains(l.predicate, "good_faith") or contains(l.predicate, "bona_fide")
                             or exists(f in fields
                                       where (f.node == l.predicate
                                              and f.field == "effect"
                                              and f.value == "judgment")))))
select r.id as node, r.head_predicate as predicate, anchor(r.id) as anchors
```