Lohengrin (Metropolitan Opera, New York City).
Lohengrin is showing in the Texas Opera House.
mnli hypothesis: Lohengrin is showing in the Texas Opera House. premise: Lohengrin (Metropolitan Opera, New York City).