Assertion list for term "cut into horizontal strips".

Results from Ascent++: 1
triangle CapableOfcut into horizontal strips 0.31