Assertion list
five (primary) → HasProperty
Results from Ascent++: 3
five → HasProperty → good 0.59
five → HasProperty → objective 0.28
five → HasProperty → curious 0.25