Assertion list
alpha course (subgroup of course ) → HasProperty
Results from Ascent++: 1
alpha course → HasProperty → open 0.25