Assertion: martin | /r/HasSubgroup | progne genus martin
Facets:
Source sentences: