Assertion list
existing regulation (subgroup of regulation ) → HasProperty
Results from Ascent++: 2
existing regulation → HasProperty → effective 0.35
existing regulation → HasProperty → sufficient 0.25