derived-maintenance-condition

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

Query

LawQL

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