With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Frankfurt is 555 miles from Houston and 845 miles from Washington.
text_B: Frankfurt is farther to Washington than Frankfurt is to Houston.
entailment.