More or less as you infer. City trees are trees that grow on city property (parks, boulevards, schools, public buildings, etc). If they have been taken down or blown down in a storm, then the trunk will often wind up at the city's log dump, which somewhat strangely is located on one of the...