Assertion: mantis | /r/HasSubgroup | smasher mantis
Facets:
Source sentences: