Assertion: decomposition | /r/HasSubgroup | fine root decomposition
Facets:
Source sentences: