Assertion list
centipede (primary) → IsA
Results from Ascent++: 1
centipede → IsA → arthropod 0.55