he theory T is
a sign in a suitable sign domain S, while everything else in
Figure 3 is an object in the hierarchical object domain O.

If you take what is said and drawn here quite literally, then it all just
fails to make good sense.  For if the comprehension A is the conjunction
of &quot;all&quot; the relevant intensions, then whatever intension evolves as the
accountable abstraction B is already among them, and so we have A =&gt; B.
But the picture given appears to suggest that B =&gt; A.  This could ha