With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: These include, for example, "Desoria nivalis" (formerly also: "Isotoma pseudomaritima") or "Vertagopus alpinus".
text_B: These include, for example, " Desoria nivalis " formerly also : : " Isotoma pseudomaritima " Desoria nivalis " formerly also : : " Isotoma pseudomaritima " or " Vertagopus alpinus ".
entailment.