Assertion list
braided line (subgroup of line ) → HasProperty
Results from Ascent++: 3
braided line → HasProperty → thinner 0.62
braided line → HasProperty → strong 0.59
braided line → HasProperty → more visible 0.25