Assertion: context | /r/HasSubgroup | formal context
Facets:
Source sentences: