Assertion list for term "a radius r".

Results from Ascent++: 1
circle HasAa radius r 0.28