Assertion list for term "remain horizontal".

Results from Ascent++: 1
horizontal line (subgroup of line) CapableOfremain horizontal 0.25