With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Four were completed, two more were laid down but canceled in August 1945, at war's end, and both hulls were scrapped in 1958.
text_B: Four were completed, two more were laid up but canceled in August 1945, at war's end, and both hulls were scrapped in 1958.
contradiction.