Assertion list
horizontal line (subgroup of line ) → HasProperty
Results from Ascent++: 5
horizontal line → HasProperty → parallel 0.84
horizontal line → HasProperty → closer 0.25
horizontal line → HasProperty → coincident 0.25
horizontal line → HasProperty → long 0.25
horizontal line → HasProperty → calm 0.16