Assertion list for term "same radii".

Results from Ascent++: 1
circle HasAsame radii 0.41