Assertion: hardening | /r/HasSubgroup | final set
Facets:
Source sentences: