Assertion list for term "pass through the points b".

Results from Ascent++: 1
circle CapableOfpass through the points b 0.25