With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Jones revised the contract. Smith revised the contract. Jones revised the contract after Smith did.
text_B: Smith revised the contract before Jones did.
entailment.