Assertion: format | /r/HasProperty | zip
Facets:
Source sentences:
text: There are HTML files inside the HTMLZ file but the format of the whole package is ZIP, which won't open in a web browser or with a text editor.