Assertion list
student athlete (subgroup of athlete ) → HasA

Results from Ascent++: 2
student athleteHasA experience 0.25
student athleteHasA the option 0.25