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