Question: What is the seating capacity of the theatre, that along with the King's has Stephen Barry as chief executive ? 
Sentence (from "Edinburgh Festival Theatre"): The Edinburgh Festival Theatre (formerly Empire Palace Theatre) is a performing arts venue located on Nicolson Street in Edinburgh, Scotland used primarily for performances of opera and ballet, large-scale musical events, and touring groups.
Relevant evidence: No