Assertion: open | /r/HasSubgroup | previous open
Facets:
Source sentences: