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