Assertion: empire's capital | /r/HasProperty | merged with third city
Facets:
value: officially
type: MANNER
value: in 1873
type: TEMPORAL
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.