Assertion list
elective course (subgroup of course ) → HasProperty
Results from Ascent++: 2
elective course → HasProperty → open 0.29
elective course → HasProperty → more specialized 0.25