Assertion list
elective course (subgroup of course ) → AtLocation

Results from Ascent++: 1
elective courseAtLocation above 0.41