With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Kim reached school at 1:30 PM whereas Rebecca reached at 10 AM.
text_B: Kim reached after Rebecca.
entailment.