Assertion list
praying mantis (subgroup of mantis ) → IsA

Results from Ascent++: 1
praying mantisIsA carnivorous insect 0.25