Assertion list
high score (subgroup of score ) → HasProperty
Results from Ascent++: 3
high score → HasProperty → low 0.25
high score → HasProperty → equivalent 0.16
high score → HasProperty → good 0.16