Assertion list
horn (aspect of ewe ) → HasProperty
Results from Ascent++: 2
horn → HasProperty → strong 0.68
horn → HasProperty → round 0.25