With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The city is situated on the shores of Lake Geneva (French: "Lac Léman" , or simply "Le Léman").
text_B: The city is situated on the shores of Lake Geneva French : : " Lac Léman ".
entailment.