Assertion list for term "form a line segment".

Results from Ascent++: 1
distance CapableOfform a line segment 0.25