Assertion list
circle (aspect of triangle ) → HasA
Results from Ascent++: 5
circle → HasA → a circumference of 16 inches 0.31
circle → HasA → a circumference of 45 cm 0.31
circle → HasA → a circumference of 6.98 feet 0.31
circle → HasA → a circumference of 88 cm 0.31
circle → HasA → the point 0.25