Assertion: component | /r/HasSubgroup | biconnected component
Facets:
Source sentences: