Assertion: png format | /r/HasProperty | introduced
Facets:
Source sentences:
text: Like HTM and HTML files, when the JPEG format was first introduced, the official file extension was JPEG (with four letters).