“Complex” constraints on fields cannot appear in type declarations, you must add a supplemental fact:
fact { all e: Event | e.rule_properties in e.rulesets -> e.rulesets.rules -> EventRuleProperty }
“Complex” constraints on fields cannot appear in type declarations, you must add a supplemental fact:
fact { all e: Event | e.rule_properties in e.rulesets -> e.rulesets.rules -> EventRuleProperty }