Assertion list
level course (subgroup of course ) → HasProperty
Results from Ascent++: 2
level course → HasProperty → open 0.78
level course → HasProperty → relevant 0.21