Assertion list
new regulation (subgroup of regulation ) → HasA

Results from Ascent++: 2
new regulationHasA impact 0.61
new regulationHasA broader scope 0.25