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