Assertion list
horn (aspect of sheep ) → HasProperty
Results from Ascent++: 2
horn → HasProperty → black 0.84
horn → HasProperty → large 0.77