With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: The President is very eager to go ahead quickly and get this vote , because he very much wants to have Samuel Alito on the Supreme Court , to be judging the cases Bush is interested in .
text_B: The judging happened
not-entailed.