Assertion list
exercise ball (subgroup of ball ) → HasProperty
Results from Ascent++: 2
exercise ball → HasProperty → great 0.59
exercise ball → HasProperty → perfect 0.48