Assertion: opportunity | /r/HasProperty | upgraded with the patch
Facets:
value: as a precaution
type: PURPOSE
Source sentences:
text: The problem was corrected by reformatting Spirit's flash memory and using a software patch to avoid memory overload; Opportunity was also upgraded with the patch as a precaution.