Assertion list
ox (primary) → IsA
Results from Ascent++: 3
ox → IsA → mythical animal 0.63
ox → IsA → the animal 0.35
ox → IsA → bull 0.28