Assertion: delete expression | /r/HasProperty | executed in situation
Facets:
Source sentences:
text: These pointers guarantee that the delete expression is executed in the situations shown above.