With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Entry before Sixth Form is for boys only, but the Sixth Form has been co-educational since 1991.
text_B: Entry before Sixth Form is for boys only.
entailment.