With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sandra reached office at 3 PM whereas Alison reached at 2:30 PM.
text_B: Sandra reached after Alison.
entailment.