Assertion list
circle (aspect of triangle ) → HasProperty
Results from Ascent++: 3
circle → HasProperty → equidistant 0.40
circle → HasProperty → congruent 0.36
circle → HasProperty → complete 0.27