erased/1

"erased(+ R" )

Succeeds if the object whose database reference is R has been erased.