Assertion list
major (primary) → IsA
Results from Ascent++: 1
major → IsA → for student 0.49