Assertion list
common centipede (subgroup of centipede ) → IsA
Results from Ascent++: 1
common centipede → IsA → the house centipede 0.68