Assertion list
correction (primary) → HasA
Results from Ascent++: 2
correction → HasA → effect 0.27
correction → HasA → retroactive effect 0.27