Assertion list
pony (primary) → IsA
Results from Ascent++: 1
pony → IsA → horse 0.70