Assertion list
student athlete (subgroup of athlete ) → IsA

Results from Ascent++: 1
student athleteIsA student 0.74