Question: Who produced an animated adventure film about racing that was released alongside a short film written and directed by Dave Mullins?
Sentence (from "Cars 3"): The film is a sequel to "Cars" and a stand-alone sequel to "Cars 2".
Relevant evidence: No