Markdown for LLMs

achievement-open-window

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

# achievement-open-window

Обязанность достижения с открытым окном никогда не получает VIOLATED.

## Query

```lawq
from n in norms
where n.modality == "duty"
  and n.goal_kind == "achievement"
  and exists(w in windows where (w.norm == n.id and w.deadline == null))
select n.id as node, labels(n.id, "ru") as labels, anchor(n.id) as anchors
```