Assertion list
second grade (subgroup of grade ) → HasProperty
Results from Ascent++: 1
second grade → HasProperty → equal 0.68