With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: State Highway 23 or SH 23 is a state highway in the U.S. state of Texas maintained by the Texas Department of Transportation (TxDOT).
text_B: SH 23 is a state highway in the U.S. state of Texas maintained by the Texas Department of Transportation TxDOT.
entailment.