Assertion: command's file | /r/HasProperty | copied with same name
Facets:
value: into another directory
type: TRANSITIVE-OBJECT
Source sentences:
text: Thus, for example, a file in the current directory (i.e., the directory in which the user is currently working) named file1 could be copied with the same name into another directory, such as into /home/john/, as follows: