Assertion: operation | /r/HasSubgroup | idempotent operation
Facets:
Source sentences: