Markdown for LLMs
deontic-action-in-premise
The source Markdown for this article. Copy it into your assistant or download it as a text file.
# deontic-action-in-premise
Запрет или свобода, чьё действие стоит и положительной посылкой своего правила: позиция возникает лишь ПОСЛЕ совершения действия — поведение наперёд не направляется, а у запрета единственный наблюдаемый статус ACTIVE читается как «уже нарушено».
## Query
```lawq
from r in rules
where exists(e in edges
where (e.from == r.id
and e.role == "head.id"
and exists(f in fields
where (f.node == e.to
and (f.field == "payload.goal.action.function"
or f.field == "payload.action.function")
and exists(l in literals
where (l.node == r.id
and starts_with(l.context, "body")
and l.polarity == "positive"
and l.predicate == f.value))))))
select r.id as node, labels(r.id, "ru") as labels, anchor(r.id) as anchors
```