Schema tratto da K. Ajdukiewicz, Syntactic Connection [orig. Die syntaktische Konnexität, «Studia Philosophica» 1 (1935), 1-27], in S. McCall (a c. di) Polish Logic 1920-1939, Oxford, 1967, pp. 207-231.

#pip install sympy #pip3 install sympy 
#python -m pip install simpy
from sympy import symbols
n = symbols('n') #noun
s = symbols('s') #sentence
def v(x): #verb
    if x==n:
        return s
def a(x): #adjective/article/determiner (adnominal)
    if x==n:
        return n
def adv(x): #adverb
    if x==v:
        return v
def vt(x): #transitive verb (schönfinkelization/currying Moses Schönfinkel/Haskell B. Curry) v=f(a,b)=f1(f2(b)) 
    if x==n:
        return v
def p(x): #preposition
    if x==n:
        return adv
 
Mario=n
cammina=v
cuoco=n
il=a
bravo=a
lentamente=adv
affettuosamente=adv
saluta=vt
Gino=n
cane=n
morde=vt
un=a
cenno=n
con=p
affetto=n
 
#prove per la shell:
#cammina(Mario) #Mario cammina
#cammina(il(cuoco)) #il cuoco cammina
#cammina(il(bravo(cuoco))) #il bravo cuoco cammina
#lentamente(cammina)(Mario) #Mario cammina lentamente
#saluta(Gino)(Mario) #Mario saluta Gino
#morde(Mario)(il(cane)) #il cane morde Mario
#affettuosamente(saluta(Mario))(Gino) #Gino saluta Mario affettuosamente
#con(affetto)(saluta(Mario))(Gino) #Gino saluta Mario con affetto
#con(un(cenno))(saluta(Mario))(Gino) #Gino saluta Mario con un cenno