With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: In 2000 he retired from his House seat to run for the U.S. Senate but lost decisively to incumbent Dianne Feinstein.
text_B: In 2000 he lost decisively to incumbent Dianne Feinstein.
entailment.