"S is a pointer though T. From POINTER(S, T) and R(T, X), deduce R(S, X)." . . . .