. " ??? R is a set containing the following: ??? for each relation O ??? O, Oi+1 (A) is the result of eval-" . . .