Assertion list
circumference (primary) → CapableOf
Results from Ascent++: 4
circumference → CapableOf → concentric about longitudinal a… 0.37
circumference → CapableOf → equal the diameter of the circle 0.32
circumference → CapableOf → use tt 0.29
circumference → CapableOf → form angle 0.25