Tuple Relational Calculus Example