Assertion: rotor | /r/HasSubgroup | different rotor
Facets:
Source sentences: