With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The residents of western countries can travel freely within Europe. All residents of major western countries are residents of western countries.
text_B: The residents of major western countries have the right to live in Europe.
entailment.