Assertion list
donkey (primary) → IsA
Results from Ascent++: 1
donkey → IsA → smaller than horses 0.35