e implication.  Together, these
amount to a set of definitions conjointly constraining the logical
compatibility of the six feature names that appear.  They may be
thought of as sculpting out a space of models that is some subset
of the 2^6 = 64 possible interpretations, and thereby shaping some
universe of discourse.

Once this backdrop is defined, it is possible to &quot;query&quot; this universe,
simply by conjoining additional propositions in further constraint of
the underlying set of models.  This has