Assertion: device | /r/HasProperty | restarted
Facets:
Source sentences:
text: The computer must be restarted for the device to work properly.