With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Most Europeans are resident in Europe. All Europeans are people. All people who are resident in Europe can travel freely within Europe.
text_B: Most Europeans can travel freely within Europe.
entailment.