Assertion: command's file | /r/HasProperty | compressed with the gzip command
Facets:
Source sentences:
text: If you look through your folders and find files with an extension of .gz, it means these files were compressed with the gzip command.