Assertion: pruning | /r/HasSubgroup | size reduction pruning
Facets:
Source sentences: