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 did not happen
not-entailed.