Assertion: perm | /r/HasSubgroup | hot perm
Facets:
Source sentences: