With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Martin Bucer was born to German minority in Alsace, which historically belonged to the Holy Roman Empire, but now belongs to France.
text_B: Martin Bucer was born to German minority in Alsace, which historically belonged to the Holy Roman Empire.
entailment.