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