Morfosintaxis Semi-Supremo

Da al que te pida:

si hace algo por ti

que no sea sexo contigo,

o si te da de algo a cambio por algo,

o si le honras una memoria

de un familiar suyo

o de su trabajo realizado.

[ [x] da a [y] que A([y]) ],

A([y]) <==> [ [y] pide a [x] ].

[ si [y] hace [a] por [x] que C([a]) ],

C([a]) <==> [ [a] no es [s] con [x] ].

[ o si [y] da de [a] a [c] por [a] a [x] ],

[ o si [x] honra [m] a [y] ]-[ ∃$1$ [m] ][ [m] es memoria que P([m]) ].

P([m]) <==> [ [m] es de [u(y)] o de [v(y)] ]:

[ ∃$1$ [u(y)] ][ [u(y)] es familiar de [y] ]-[ [v(y)] es trabajo de [y] que G([v(y)]) ].

Recibe del que te ofrezca,

si haces algo por sir

que no sea sexo consirgo,

o si le das de algo a cambio por algo,

o si te honra una memoria.

de un familiar tuyo

o de tu trabajo realizado.

[ [x] recibe de [y] que B([y]) ],

B([y]) <==> [ [y] ofrece a [x] ].

[ si [x] hace [a] por [y] que D([a]) ],

D([a]) <==> [ [a] no es [s] con [y] ].

[ o si [x] da de [a] a [c] por [a] a [y] ].

[ o si [y] honra [m] a [x] ]-[ ∃$1$ [m] ][ [m] es memoria que Q([m]) ].

Q([m]) <==> [ [m] es de [u(x)] o de [v(x)] ]:

[ ∃$1$ [u(x)] ][ [u(x)] es familiar de [x] ]-[ [v(x)] es trabajo de [x] que G([v(x)]) ].