Assertion: ensemble | /r/HasSubgroup | circular ensemble
Facets:
Source sentences: