Assertion: mining | /r/HasSubgroup | short hole mining
Facets:
Source sentences: