With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Historically it was known as the "Taj Mahal Hotel" or the "Taj Palace Hotel".
text_B: Historically it was known as the " Taj Palace Hotel ".
entailment.