Assertion: bloc | /r/HasSubgroup | independence bloc
Facets:
Source sentences: