%Grammatik mit Artikel und Semantik

satz(Sem_Satz) --> np(lambda(Sem_Verb,Sem_Satz)), vp(Sem_Verb).
np(Sem_Np)   --> art(lambda(Sem_N,Sem_Np)), n(Sem_N).
np(Sem_Np)   --> en(Sem_Np).

vp(Sem) --> vi(Sem).
vp(lambda(Y,Sem)) --> vt(lambda(X,lambda(Y,P))), np(lambda(lambda(X,P),Sem)).

%Lexikon
art(lambda(lambda(X,P),lambda(lambda(X,Q),ex(X,und(P,Q))))) --> [ein].
n(lambda(X,kind(X))) --> [kind].
n(lambda(X,gestirn(X))) --> [gestirn].
en(lambda(lambda(herschel,P),P)) --> [herschel].

vi(lambda(X,lachen(X))) --> [lacht].
vt(lambda(X,lambda(Y,entdecken(Y,X)))) --> [entdeckt].