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