Assertion: proof | /r/HasSubgroup | reverse proof
Facets:
Source sentences: