Assertion: stub | /r/HasSubgroup | short circuit stub
Facets:
Source sentences: