With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Smith has been to Florence twice in the past. Smith will go to Florence twice in the coming year.
text_B: Two years from now Smith will have been to Florence at least four times.
entailment.