Assertion: slice | /r/HasSubgroup | dynamic slicing
Facets:
Source sentences: