Assertion list
school choice (subgroup of choice ) → IsA
Results from Ascent++: 1
school choice → IsA → good ones 0.84