Assertion list
tortoise (primary) → IsA
Results from Ascent++: 4
tortoise → IsA → turtle 0.72
tortoise → IsA → land animals 0.56
tortoise → IsA → reptile 0.49
tortoise → IsA → the longest living land animal 0.25