satz(Formel) -->
		en(IndKon),
		vp(lambda(IndKon,Formel)).


vp(Praedikat1) -->
	vt(lambda(IndKon,Praedikat1)), 
	en(IndKon).


vp(Praedikat) -->
	vi(Praedikat).

en(herschel)	--> 	[herschel].
en(uranus)	--> 	[uranus].
vi(lambda(X,leuchten(X)))	--> 	[leuchtet].
vt(lambda(Y,lambda(X,umkreisen(X,Y)))) -->[umkreist].