Assertion list
alligator (primary) → IsA
Results from Ascent++: 2
alligator → IsA → reptile 0.55
alligator → IsA → large reptiles 0.25