Assertion list
praying mantis (subgroup of mantis ) → IsA
Results from Ascent++: 1
praying mantis → IsA → carnivorous insect 0.25