With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: It was designed by the Architect Sir Frederick Gibberd and has two Auditoria, the first of which is a traditional Theatre which can hold 667 people.
text_B: It has two Auditoria, the first of which is a traditional Theatre which can hold 667 people.
entailment.