Assertion: mining | /r/HasSubgroup | auger mining
Facets:
Source sentences: