With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Dallas is located between Las Vegas and Phoenix.
text_B: Phoenix is nearer to Dallas than Phoenix is to Las Vegas.
entailment.