Assertion list
free choice (subgroup of choice ) → HasProperty
Results from Ascent++: 1
free choice → HasProperty → free 0.68