Assertion: process's state | /r/HasProperty | saved
Facets:
Source sentences:
text: The state of the old process is saved and the state of the new process is loaded.