Assertion list for term "a circumference of 16 inches".

Results from Ascent++: 1
circle (aspect of triangle) HasAa circumference of 16 inches 0.31