Assertion list
good student (subgroup of student ) → IsA
Results from Ascent++: 1
good student → IsA → good writer 0.41