docs← Back to article

Markdown for LLMs

derived-maintenance-condition

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

Download this articlePlain text ↗
# derived-maintenance-condition

Maintenance-условие, производимое правилом, может никогда не стать VIOLATED.

## Query

```lawq
from n in norms
where n.modality == "duty"
  and n.goal_kind == "maintenance"
  and exists(r in rules where (contains(n.condition_predicates, r.head_predicate)))
select n.id as node, n.condition_predicates as predicates, anchor(n.id) as anchors
```