With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: The court 's move was a formality under Texas law , which requires that an arrest warrant be issued for anyone indicted on a felony charge .
text_B: Texas is a location
entailed.