Assertion list for term "lie on the reference line".

Results from Ascent++: 1
zero CapableOflie on the reference line 0.25