inputs: hypothesis: Beatrice and Benedict is an overture by Berlioz. premise: The program will include Falla's "Night in the Gardens of Spain," Ravel's Piano Concerto in G, Berlioz's Overture to "Beatrice and Benedict," and Roy Harris' Symphony No. 3.