Assertion list
radius (aspect of circle ) → HasProperty
Results from Ascent++: 7
radius → HasProperty → large 0.62
radius → HasProperty → perpendicular 0.47
radius → HasProperty → finite 0.36
radius → HasProperty → proportional 0.33
radius → HasProperty → small 0.33
radius → HasProperty → constant 0.25
radius → HasProperty → greater 0.25