Assertion: bucket | /r/HasSubgroup | k bucket
Facets:
Source sentences: