With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The party leader, Theresa May, has served as both Leader of the Conservative Party and Prime Minister since 13 July 2016.
text_B: The party leader, Theresa May, has served as both Leader of the Conservative Party since 13 July 2016.
entailment.