Assertion: bit | /r/HasSubgroup | second bit
Facets:
Source sentences: