Assertion: spirit | /r/HasProperty | engaged
Facets:
Source sentences:
text: The flash hardware was believed to be working correctly but the file management module in the software was "not robust enough" for the operations the Spirit was engaged in when the problem occurred, indicating that the problem was caused by a software bug as opposed to faulty hardware.