Assertion: md | /r/HasProperty | crash
Facets:
value: during the critical section
type: TEMPORAL
Source sentences:
text: md is not able to ensure data preservation if there is a crash (e.g. power failure) during the critical section.