Assertion list
down (primary) → HasProperty
Results from Ascent++: 3
down → HasProperty → helpful 0.29
down → HasProperty → exhausting 0.16
down → HasProperty → necessary 0.16