uta, anja, waldi, x, y, z, s, ...

TANZEN,SINGEN,HAVE,F,G,H,...

CAUSE,BECOME,INST, ...

Uta tanzt morgen:

s [sINST[TANZEN(uta) /\ TIME(s,morgen)]

Uta ist wach:

WACH(uta)

Zustand

Uta schl?ft:

WACH(uta)

Zustand

Uta wacht auf:

BECOME[WACH(uta)]

Zustandswechsel

Anja weckt Uta:

CAUSE[anja, BECOME[WACH(uta)]]

Verursachung eines Zustandswechsels

Uta gibt Anja ein Buch:

x [BUCH(x) /\ CAUSE[uta,BECOME[HAVE(anja,x)] ]]

ein Buch geben:

λz λy x [BUCH(x) /\ CAUSE[y, BECOME[HAVE(z,x)] ]]

töten:

λy λx [CAUSE[x,BECOME[TOT(y)]]