Assertion: command's file | /r/HasProperty | save
Facets:
Source sentences:
text: w [file] (CR) : Save (write) or resave into the new file [file], but do not end.