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