Assertion list
horn (aspect of kudu ) → HasProperty
Results from Ascent++: 3
horn → HasProperty → shorter 0.25
horn → HasProperty → straight 0.25
horn → HasProperty → spectacular 0.16