Assertion: identity | /r/HasSubgroup | strict absolute unqualified identity
Facets:
Source sentences: