Assertion: hammer | /r/HasSubgroup | soft hammer
Facets:
Source sentences: