Assertion: xz file | /r/HasProperty | saved as .txz files
Facets:
Source sentences:
text: XZ files that contain a .TAR archive are saved as .TXZ files.