Assertion list
free choice (subgroup of choice ) → IsA
Results from Ascent++: 1
free choice → IsA → illusion 0.43