Assertion: hardening | /r/HasSubgroup | solution hardening
Facets:
Source sentences: