Assertion: complement | /r/HasSubgroup | orthogonal complement
Facets:
Source sentences: