Express the query with Tuple Relational Calculus

Consider the Movies, Stars, Studios Database with the following 5 relations: Movies (title, year, length, genre, studioName, producerC#) Stars (movie Title, movie Year, starName ) MovieStar (name, address, gender, birthdate) MovieExec (name, cert#, address, networth) Stud (name, address, presC#) Find names of the producers of Jennifer Lawrence movies (i.e. movies having Jennifer Lawrence as a star) (10 points)