Assertion list
contradiction (primary) → HasA
Results from Ascent++: 1
contradiction → HasA → significant implications 0.28