Reversing steps, Converting SQL query back to tuple relational calculus?

Question

Not sure it is a correct SQL and would like to work backward converting SQL back to tuple relational calculus to check the correctness. Let\'s say we come up this query to displ