Assertion: description | /r/HasSubgroup | formal description
Facets:
Source sentences: