Assertion: defect | /r/HasProperty | called as case hardening
Facets:
Source sentences:
text: Then this defect is called as case hardening.