Assertion list for term "completed with higher".
Results from Ascent++: 1
core course (subgroup of course) → ReceivesAction → completed with higher 0.41