%*****************
%Aufbau einer prädikatenlogischen Formel
%Mit Lambda-Abstraktion
%*****************

satz(Sem) --> en(Sem_np), vp(lambda(Sem_np,Sem)).

vp(Sem) --> intransitives_verb(Sem).
vp(Sem_v) --> transitives_verb(lambda(Sem_np,Sem_v)), en(Sem_np).


%Lexikon
eigenname(herschel) --> [herschel].
eigenname(uranus) --> [uranus].

intransitives_verb(lambda(X,lachen(X))) --> [lacht].

transitives_verb(lambda(Y,lambda(X,entdecken(X,Y)))) --> [entdeckt].