With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The Mk 4 mine or Mine G.S. Mk IV was a British anti-tank mine used during World War II.
text_B: The Mk 4 mine was a British anti - tank mine used during World War II.
entailment.