Assertion list
magpie (primary) → IsA
Results from Ascent++: 2
magpie → IsA → bird 0.60
magpie → IsA → smart birds 0.16