With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Domestically he held the Soviet title in 1987 ; in 1988 he placed second in the total.
text_B: Domestically he held the Soviet title in 1987; in 1988 he won the snatch and clean and jerk events, but placed second in the total.
contradiction.