Assertion list
antithesis (primary) → HasA
Results from Ascent++: 1
antithesis → HasA → added benefit 0.16