Assertion list
rejection (primary) → HasA
Results from Ascent++: 2
rejection → HasA → little impact 0.16
rejection → HasA → the power 0.07