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: 1840 is an artefact
not-entailed.