Assertion list
level course (subgroup of course ) → IsA
Results from Ascent++: 1
level course → IsA → for the individual 0.37