With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Arthur and Grace are friends. He is a lawyer and she is an electrician.
text_B: Arthur is a lawyer.
entailment.