Assertion: file | /r/HasProperty | done with file
Facets:
Source sentences:
text: Closing a file: When done with a file, it must be closed using the function fclose() .