Assertion list
transfer student (subgroup of student ) → DefinedAs
Results from Ascent++: 1
transfer student → DefinedAs → student 0.34