Question: What movie composed by Dimitri Tiomkin grossed $8.5 million in its theatrical release?
Sentence (from "Dimitri Tiomkin"): Tiomkin received twenty-two Academy Award nominations and won four Oscars, three for Best Original Score for "High Noon", "The High and the Mighty", and "The Old Man and the Sea", and one for Best Original Song for "The Ballad of High Noon" from the former film.
Relevant evidence: Yes