Assertion list
antithesis (primary) → HasProperty
Results from Ascent++: 2
antithesis → HasProperty → absolute 0.25
antithesis → HasProperty → false 0.23