With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ovida, Obida or Odiva (died December 9, 480) was a general during the late Western Roman Empire and the last Roman ruler of Dalmatia.
text_B: Ovida, Odiva died December 9, 480 was a general during the late Western Roman Empire and the last Roman ruler of Dalmatia.
entailment.