Assertion list
horn (aspect of yak ) → HasProperty
Results from Ascent++: 1
horn → HasProperty → smaller 0.68