Assertion: mantis's predator | /r/HasProperty | python
Facets:
Source sentences:
text: The main predators of aardvarks include lions, leopards, and pythons.