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#) 7. Find names of movie stars who star only in movies also having Jennifer Lawrence as a star. (20 points) 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#) 7. Find names of movie stars who star only in movies also having Jennifer Lawrence as a star. (20 points)