Assertion list
arrowhead (primary) → HasProperty
Results from Ascent++: 3
arrowhead → HasProperty → sharp 0.47
arrowhead → HasProperty → liable 0.32
arrowhead → HasProperty → smaller 0.25