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 down during World War II.
entailment.