Some of the buildings around the city square in the Kota also date from colonial times, including the old city hall ( 1710 ), which has been restored and now serves as the municipal museum.
There is a newer city hall that his since been built
( z1 hall :mod ( z2 city ) :ARG1-of ( z3 build :time ( z4 since :op ( z5 he ) ) ) :ARG1-of ( z6 have-degree :ARG2 ( z7 new :ARG1 z1 ) :ARG3 ( z8 more ) ) )