Question: Ave Satani was the theme song to which Richard Donner horror film?
Sentence (from "Tom Atkins (actor)"): Tom Atkins (born November 13, 1935) is an American television and film actor.
Relevant evidence: No