With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: The Miami relatives filed a federal lawsuit to overturn the decision , but in March a Miami federal judge ruled against them .
text_B: The filing happened
entailed.