Assertion list
woolly mammoth (subgroup of mammoth ) → IsA
Results from Ascent++: 1
woolly mammoth → IsA → found animal 0.35