Assertion list for term "lie below the tangent".

Results from Ascent++: 1
curve CapableOflie below the tangent 0.25