With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Following the war it was repaired for use by the French Army, but was proposed as a museum of the Maginot Line as early as the 1960s.
text_B: Following the war it was repaired for use by the French Army.
entailment.