Assertion list
domestic sheep (subgroup of sheep ) → HasA
Results from Ascent++: 1
domestic sheep → HasA → horn 0.71