With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: He retired from the service in 1974, but continued to serve in an unofficial capacity on training programs until his death in 1988.
text_B: He retired from the service in 1974.
entailment.