Assertion list
horizontal line (subgroup of line ) → IsA
Results from Ascent++: 3
horizontal line → IsA → line 0.38
horizontal line → IsA → tangent 0.38
horizontal line → IsA → level 0.30