Assertion list
horn (aspect of impala ) → HasProperty
Results from Ascent++: 2
horn → HasProperty → shorter 0.68
horn → HasProperty → straight 0.68