With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: All Europeans have the right to live in Europe. Every European is a person. Every person who has the right to live in Europe can travel freely within Europe.
text_B: All Europeans can travel freely within Europe.
entailment.