Assertion list
silverfish (primary) → IsA
Results from Ascent++: 2
silverfish → IsA → insect 0.59
silverfish → IsA → wingless insects 0.58