Assertion: file's data | /r/HasProperty | written to file
Facets:
Source sentences:
text: Normally, data being written to a file is buffered.
text: The FFLUSH procedure forces the buffered data to be written to the file.