Assertion list
redback spider (subgroup of spider ) → IsA
Results from Ascent++: 1
redback spider → IsA → dangerous spider 0.29