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