With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Each European has 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: Each European can travel freely within Europe.
entailment.