Assertion: command's file | /r/HasProperty | specified
Facets:
Source sentences:
text: If no [file] is specified, then the current file is resaved.
text: That is, if no file is specified for it to open, cat will read whatever is typed in on the keyboard.