Assertion list
circumference (aspect of circle ) → HasProperty
Results from Ascent++: 3
circumference → HasProperty → equal 0.84
circumference → HasProperty → 2πr 0.65
circumference → HasProperty → measurable 0.41