Please answer this: Extract the answer to the question from the following context. Question: The Monkey Wrench Gang is set in __ Context: The campus also houses several performing arts facilities. The de Jong Concert Hall seats 1282 people and is named for Gerrit de Jong Jr. The Pardoe Theatre is named for T. Earl and Kathryn Pardoe. Students use its stage in a variety of theatre experiments, as well as for Pardoe Series performances. It seats 500 people, and has quite a large stage with a proscenium opening of 19 by 55 feet (17 m). The Margetts Theatre was named for Philip N. Margetts, a prominent Utah theatre figure. A smaller, black box theater, it allows a variety of seating and staging formats. It seats 125, and measures 30 by 50 feet (15 m). The Nelke Theatre, named for one of BYU's first drama teachers, is used largely for instruction in experimental theater. It seats 280.
++++++++
Answer: Utah

Please answer this: Extract the answer to the question from the following context. Question: To which branch of Christianity to the Benedictine monks belong? Context: The abbey was restored to the Benedictines under the Catholic Mary I of England, but they were again ejected under Elizabeth I in 1559. In 1560, Elizabeth re-established Westminster as a "Royal Peculiar" a church of the Church of England responsible directly to the Sovereign, rather than to a diocesan bishop and made it the Collegiate Church of St Peter (that is, a non-cathedral church with an attached chapter of canons, headed by a dean.) The last of Mary's abbots was made the first dean.
++++++++
Answer: Catholic

Please answer this: Extract the answer to the question from the following context. Question: What measure is used in Italy's time references? Context: In Britain, Willett's 1907 proposal used the term daylight saving, but by 1911 the term summer time replaced daylight saving time in draft legislation. Continental Europe uses similar phrases, such as Sommerzeit in Germany, zomertijd in Dutch-speaking regions, kesaaika in Finland, horario de verano or hora de verano in Spain and heure d'ete in France, whereas in Italy the term is ora legale, that is, legal time (legally enforced time) as opposed to "ora solare", solar time, in winter.
++++++++
Answer:
legally enforced