With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Frankfurt is 550 miles from Richmond and 325 miles from Manchester.
text_B: Frankfurt is farther to Manchester than Frankfurt is to Richmond.
contradiction.