Yes if TRC would have been
{T | E ∈ employee (T.ename = E.ename ^ E.salary > 5000)}
Then indeed it would have select only names from employee tables, when their salary is >5000)}
But according to actual TRC how can we say that it will select only the names of the employee.