Assertion: chisel | /r/HasSubgroup | hs chisel
Facets:
Source sentences: