Assertion: boring | /r/HasSubgroup | tunnel boring
Facets:
Source sentences: