Assertion: empire's capital | /r/HasProperty | buda
Facets:
Source sentences:
text: In 1873, the old Hungarian capital Buda and Óbuda (Ancient Buda) were officially merged with the third city, Pest, thus creating the new metropolis of Budapest.