With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: The IRA proposal falls short of the detailed arms inventory sought by hard-line Protestants but opposed by the Catholic Sinn Fein party .
text_B: Fein is a geographical/political entity
not-entailed.