
a lattice of 16 elements U = {u_0, ..., u_15}, and each of the S_j
is being considered as a candidate sign domain in a sign relation
L_j c U x S_j x S_j.

JC: The meanings associated with S_1, S_2, ..., S6 are not questioned at this time,
    with the exception of the following question.  Would I be correct to presume
    that the column labeled &quot;Vec&quot; refers to a tuple and not a vector space?

I think so.  I just made these up on the spot,
and was probably thinking &quot;Vec&quot; for a set of
bi