Suppose The Shawshank Redemption is a 1994 drama film written and directed by Frank Darabont. It is based on the 1982 Stephen King novella "Rita Hayworth and Shawshank Redemption". The film stars Tim Robbins as Andy Dufresne and Morgan Freeman as Red.
Can we infer that "Tim Robbins played Red in the film"? Yes, no, or maybe?