Assertion: save | /r/HasProperty | different
Facets:
Source sentences:
text: Since the save and overwrite/export states can be different, the adding and omitting can happen at different times.