Assertion list
macaw (primary) → IsA
Results from Ascent++: 2
macaw → IsA → parrot 0.41
macaw → IsA → large birds 0.31