Assertion: tub | /r/HasSubgroup | size tub
Facets:
Source sentences: