Assertion: file | /r/HasSubgroup | thm file
Facets:
Source sentences: