Assertion list
second quadrant (subgroup of quadrant ) → IsA
Results from Ascent++: 1
second quadrant → IsA → for student 0.68