Assertion list
rubber ball (subgroup of ball ) → HasProperty
Results from Ascent++: 2
rubber ball → HasProperty → bouncy 0.71
rubber ball → HasProperty → great 0.59