Assertion list
wrong (primary) → HasProperty
Results from Ascent++: 2
wrong → HasProperty → subjective 0.30
wrong → HasProperty → relative 0.25