Assertion: command's file | /r/HasProperty | deleted the same
Facets:
Source sentences:
text: The original file is deleted, and the new file may have the same or a different name.