 From a many-sorted structure \(\mathcal{B}\in \Conv_{1}(\Str(\SOL))\) of the kind mentioned above, we define a SOL structure by an easy make-up transformation; namely, erasing the membership relations and adapting the signature to a second order one. This is just to reverse the transformation done in \(\Conv_{1}\).