Assertion list
horn (aspect of giraffe ) → HasProperty
Results from Ascent++: 3
horn → HasProperty → straight 0.43
horn → HasProperty → long 0.25
horn → HasProperty → smaller 0.25