Ann Murphy

I have a question about the street tree outside my house. Several years ago the city cut down the tree that was there. At the time, the arborist told us it would be replaced. I am writing to ask if it is, in fact, going to be replaced. If not, will the city eventually remove the stump?
I am planning my garden for the spring and what I would plant in the area around that tree would be different if you were going to replace the tree than if you were not.
Thank you.