If you find this example difficult to understand, try rewriting this expression using implication, as in the tuple relational calculus example. Here's my attempt:
I've used two letter variable names to get away from the problem of having to remember what stands for.