With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Detroit is 700 miles from Frankfurt and 515 miles from Phoenix.
text_B: Detroit is nearer to Frankfurt than Detroit is to Phoenix.
contradiction.