Assertion: command's file | /r/HasProperty | saved in another file
Facets:
Source sentences:
text: Use `:wq (CR)' to resave and end {`ZZ' also resaves and ends, but will not resave if the file has been saved in another file and no further changes have been made}, or `:w (CR)' to only resave.