Assertion: computer's system | /r/HasProperty | formatted
Facets:
Source sentences:
text: This type of virus infects the master boot record and it is challenging and a complex task to remove this virus and often requires the system to be formatted.
text: In extreme cases, the system may need to be formatted, and all the software reinstalled.