Assertion list
armadillo (primary) → IsA
Results from Ascent++: 1
armadillo → IsA → mammal 0.54