Assertion list
prohibition (primary) → HasA
Results from Ascent++: 2
prohibition → HasA → little impact 0.25
prohibition → HasA → significant impact 0.25