With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: During its eventful history it was redeveloped as an opera house in 1851 and was used by various owners and directors for opera, operetta and drama.
text_B: During its eventful history it was redeveloped as an opera house in 1851.
entailment.