Assertion: command's file | /r/HasProperty | file1as file `
Facets:
Source sentences:
text: Renames file `[file1'] as file `[file2]', i.e., moves one file to another.