Assertion: diagram | /r/HasProperty | saved as html files
Facets:
Source sentences:
text: Your diagrams are saved as HTML files, but you can also export them in JPEG, PDF, PNG, SVG, and XML formats.