Assertion list
burro (primary) → IsA

Results from Ascent++: 2
burroIsA donkey 0.25
burroIsA animal 0.16