premise: The Dutch name Batavia remained the internationally recognized name until full Indonesian independence was achieved and Djakarta was officially proclaimed the national capital ( and its present name recognized ) on December 27, 1949.
hypothesis: Indonesia gained independence in 1949, and the name of the city was changed to Djakarta.