Assertion list
quick (primary) → HasProperty
Results from Ascent++: 3
quick → HasProperty → fine 0.25
quick → HasProperty → good 0.23
quick → HasProperty → cheap 0.12