Assertion list
final regulation (subgroup of regulation ) → HasA
Results from Ascent++: 1
final regulation → HasA → error 0.25