Assertion list
vertical line (subgroup of line ) → HasProperty
Results from Ascent++: 5
vertical line → HasProperty → parallel 0.84
vertical line → HasProperty → visible 0.64
vertical line → HasProperty → equal 0.41
vertical line → HasProperty → coincident 0.35
vertical line → HasProperty → straight 0.31