Assertion list
songbird (primary) → IsA
Results from Ascent++: 1
songbird → IsA → bird 0.25