Assertion list
head line (subgroup of line ) → HasProperty
Results from Ascent++: 2
head line → HasProperty → long 0.42
head line → HasProperty → short 0.32