Assertion list for term "a radius of 1".

Results from Ascent++: 1
circle HasAa radius of 1 0.37