With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Frankfurt is 240 miles from San Jose and 310 miles from Irvine.
text_B: Frankfurt is farther to Irvine than Frankfurt is to San Jose.
entailment.