Assertion: pruning | /r/HasSubgroup | minimal pruning
Facets:
Source sentences: