With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Alexander heard that in ancient times seagoing vessels were much more fuel efficient they got thousands of miles to the galleon
text_B: Alexander heard a pun
entailed.