Assertion list
radius (aspect of sphere ) → HasProperty
Results from Ascent++: 2
radius → HasProperty → large 0.33
radius → HasProperty → small 0.33