Assertion: empire's city | /r/HasProperty | pest
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.