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