With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ridge Community High School or RCHS is a public high school located on the Davenport, Florida and Haines City, Florida Line.
text_B: RCHS is a public high school located on the Davenport, Florida and Haines City, Florida Line.
entailment.