Assertion list
deletion (primary) → HasA
Results from Ascent++: 2
deletion → HasA → little effect 0.46
deletion → HasA → effect 0.45