With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Privately owned but operated by the Hillsborough Area Regional Transit Authority (HART), service commenced on June 27, 1985.
text_B: Privately owned, service commenced on June 27, 1985.
entailment.