Assertion: file | /r/HasProperty | the input file handle
Facets:
Source sentences:
text: This procedure writes one or more line terminators to the file identified by the input file handle.