deontic-action-in-premise

Запрет или свобода, чьё действие стоит и положительной посылкой своего правила: позиция возникает лишь ПОСЛЕ совершения действия — поведение наперёд не направляется, а у запрета единственный наблюдаемый статус ACTIVE читается как «уже нарушено».

Query

LawQL

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