With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: They were tasked with tracking down and arresting, or killing, members of the Irish Republican Army (IRA).
text_B: They were tasked with tracking down and arresting,, members of the Irish Republican Army IRA.
entailment.