Assertion: package's file | /r/HasProperty | reduced to single file
Facets:
Source sentences:
text: This means that multiple files have been reduced to a single file ( .tar ) and then compressed using gzip ( .gz ).