Assertion list
final grade (subgroup of grade ) → IsA
Results from Ascent++: 3
final grade → IsA → the grade 0.37
final grade → IsA → above 0.25
final grade → IsA → c- 0.25