Assertion list for term "cut the 𝑦-axis".

Results from Ascent++: 1
curve CapableOfcut the 𝑦-axis 0.25