| "black"      |
¤~~~~~~~~~~~~~~¤~~~~~~~~~~~~~~¤~~~~~~~~~~~~~~¤

Each of these sign relations has familiar type of structure.
The common object domain is O = {black, green, pink, yellow},
and "at" or "over" each object o in O one finds a "part" of
a "partition", that is to say, an equivalence class of an
equivalence relation on the correspoinding "syntax domain",
which is a convenient name for the set-theoretic union of
the sign domain S and the interpretant domain I, in these
cases having S = I.

For t