Assertion list
ewe (primary) → IsA
Results from Ascent++: 1
ewe → IsA → female sheep 0.19