With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Not until 1840 was it established that Antarctica was indeed a continent and not just a group of islands or an area of ocean .
text_B: Antarctica is a location
entailed.