Assertion: redemption | /r/HasSubgroup | mandatory redemption
Facets:
Source sentences: