Assertion list
horn (aspect of antelope ) → HasProperty
Results from Ascent++: 3
horn → HasProperty → long 0.68
horn → HasProperty → permanent 0.49
horn → HasProperty → short 0.25