Assertion: dump | /r/HasProperty | written to the page file
Facets:
Source sentences:
text: If SAVEDUMP is clear, the system uses the page file for paging; any dump written to the page file is lost.