Assertion list for term "three given points".

Results from Ascent++: 1
parabola HasAthree given points 0.47