Assertion: file | /r/HasSubgroup | square file
Facets:
Source sentences: