n, as I know you know, John, is this:
|
| R(t1, ..., tn)
|
| ---&gt;
|
| (exists e)(R(e) &amp; first(e, t1) &amp; second(e, t2) &amp; ... &amp; nth(e, tn))
|
| <A  HREF="http://suo.ieee.org/email/msg04007.html">http://suo.ieee.org/email/msg04007.html</A>

Now, once more time, we are not even up to the level of "analyzing" --
in other words "saying anything significant about the structure of" --
a relation, because a relation is a set of tuples, and we are just
talking about isolated tuples here.  The fact t