With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: These loops are former routings of I-94 's two predecessors in Michigan : : US Highway 12 US 25.
text_B: These loops are former routings of I-94's two predecessors in Michigan: US Highway 12 (US 12) or US 25.
neutral.