With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: As many of you may have heard , President Bush has nominated a long - time Federal Judge named Samuel Alito to become the next member of the United States Supreme Court , to fill a vacancy created by the retirement of another member of the Court .
text_B: The naming happened
entailed.