Assertion: failure | /r/HasSubgroup | backward failure
Facets:
Source sentences: