With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: John is a man and Mary is a woman. John represents his company and so does Mary.
text_B: Mary represents John's company.
entailment.