Assertion: file | /r/HasProperty | decompressed
Facets:
Source sentences:
text: These files must first be decompressed, then expanded using a TAR utility.