We can use t[Au,Av,...,Aw] to refer to the sub-tuple of t containing the values of the attributes Au,Av,...,Aw in t.