r all of the rest of the properties in the Comprehension.

I am still not sure about the use of the word &quot;comprehension&quot; here,
but let me use it provisionally for the complex of properties that
are held in common by a set of instances, objects, or situations,
and that are intended to be captured by a fitting theory of them.
Then we can say that all of these objects, whether in the object
domain or in the analogue model domain, are logical models that
satisfy the theory.  In sign-theoretic terms, t