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