Assertion list
female cow (subgroup of cow ) → HasA

Results from Ascent++: 1
female cowHasA horn 0.25