Assertion: mayor | /r/Synonym | walikotamadya
Facets:
value: formerly
type: TEMPORAL
Source sentences:
text: In Indonesia, mayor (Indonesian: wali kota, formerly called walikotamadya and walikota) is a regional head of a city or town.