Assertion: interchange | /r/HasSubgroup | loop interchange
Facets:
Source sentences: