Assertion: transformation | /r/HasSubgroup | projection transformation
Facets:
Source sentences: