Assertion: decomposition | /r/HasSubgroup | subsequent decomposition
Facets:
Source sentences: