Assertion: trace | /r/HasProperty | saved
Facets:
Source sentences:
text: A file created when a trace is saved.