GS4City: Hierarchical Semantic Gaussian Splatting via City-Model Priors | Synapse