ll &quot;elemental&quot; or &quot;singular&quot; propositions.

Let us return to the 2-dimensional universe X% = [x, y].
In order to construct a bridge between propositions and
quantifications it serves to create a set of qualifiers
L_uv : (B^2 -&gt; B) -&gt; B that take on the following forms:

   L_00 f   =   L_&lt;(x)(y)&gt; f

            =   !a!_1 f

            =   !Y!_&lt;(x)(y)&gt; f

            =   !Y!&lt;(x)(y) =&gt; f&gt;

            =   &lt;f likes (x)(y)&gt;

   L_01 f   =   L_&lt;(x) y &gt; 