Assertion: boundary | /r/HasSubgroup | divergent boundary
Facets:
Source sentences: