Assertion list
ten (primary) → HasProperty
Results from Ascent++: 2
ten → HasProperty → helpful 0.43
ten → HasProperty → relevant 0.25