Assertion list
circumference (aspect of circle ) → CapableOf
Results from Ascent++: 1
circumference → CapableOf → equal the diameter of the circle 0.39