Assertion list
finder scope (subgroup of telescope ) → HasProperty
Results from Ascent++: 1
finder scope → HasProperty → useful 0.16