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