Assertion: component | /r/HasSubgroup | diagonal element
Facets:
Source sentences: