With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: USS "Hoel" (DD-768) was a planned United States Navy "Gearing"-class destroyer laid down during World War II but never completed.
text_B: USS "Hoel" (DD-768) was a planned United States Navy "Gearing"-class destroyer laid up during World War II but never completed.
contradiction.