common mantis Synonyms