Assertion: command's file | /r/HasProperty | decompressed
Facets:
Source sentences:
text: The file is decompressed, and the .gz extension is removed.