So und dann haben wir hier angefangen, so ein bisschen mit der Symanteck-Konstruktion

rumzuspielen.

Wir wollten, ich weiß nicht, wo die Beispiele geblieben sind.

Also die Idee ist ja immer, dass wir jetzt was haben, wie es gibt ein Event und es ist

ein Running Event und der Agent ist der und der und so weiter.

Das wollen wir als Symanteck haben.

Ah ja, hier sehen wir so ein paar Beispiele.

Also Peter Runs wäre es gibt ein Event hier und es ist ein Running Event und der Agent

ist Peter und Kill the Cat with the Book ist, wäre wieder ein Event, was ein Killing Event

ist mit Pat die Katze und mit ihr das Buch und so weiter.

Haben wir hier so ein bisschen gesketched und das ist noch nicht fertig.

Das müssen wir doch fertig machen.

Wir haben jetzt gesagt Präpositionalfragen, hier kriegen ein Event Epsilon und geben uns

weiter falsch zurück und Präpositionen kriegen dazu noch ein Individuum, also sowas wie hier

das Buch oder so.

Genau und wir haben schon so ein paar Regeln hier angepasst und jetzt können wir einfach

mal auf die Fehler schauen und sehen, was wir noch anpassen müssen.

Das erste ist die Definition von S1.

S1 ist vermutlich, ah ja, steht da sogar, nimmt eine Noun-Phrase und eine Verb-Phrase und gibt

uns einen Satz zurück.

Das Blöde ist jetzt, dass Verb-Phrase ist nicht mehr von Typ Juta nach Omikron, sondern

von Typ Epsilon nach Omikron.

Das heißt, wir können jetzt das nicht mehr so einfach aufeinander anwenden.

Die Frage ist, was wir hier machen wollen.

Es gibt zwei Ideen.

Entweder kriegen wir das mit diesen Typen hin oder wir müssen vielleicht noch einen

der Typen hier aktualisieren.

Genau.

Vorschläge.

Ich könnte hier mal was zeigen.

Wir hatten das hier so gemacht, dass Everydog, da war die Idee, wir brauchen noch irgendwie

ein P vom Typ Juta nach Omikron und dann würden wir bei Everydog sagen, okay, machen wir vielleicht

mal nicht Everydog, machen wir erstmal John.

Das wäre dann P von John und genauso hatten wir auch hier, wenn wir sagen Everydog, das

wäre wieder, wir kriegen noch irgendwie eine Eigenschaft und würden dann sagen, for all

X dog of X impliziert P von X.

Das heißt, irgendwie hatten wir immer diese Lehrstellen.

Die Sache ist jetzt natürlich, dass wir semantisch was ganz anderes machen wollen, weil wir

ja jetzt hier sowas haben wie John runs, dann wäre das hier so etwas wie, es gibt ein Event,

das ist ein Running Event und der Agent von dem Event ist Pete, das ist John.

Das heißt, irgendwie müssen wir jetzt heraus das Backup-Store hier in von dem Runs, was

die Work Phrases.

Aber der Typ für die Noun Phrases, der passt ja noch, oder?

Das ist die Frage.

Das hier hatten wir vorher, das war alt und da hatten wir dann halt John runs wäre einfach

run of John und die Frage ist jetzt, was machen wir beim Neu?

Dann wäre beim alten einfach run und hier beim neuen wäre es lambda e run of e.

Und damit ist der Typ hier von run natürlich geändert.

Das heißt, das hier wäre jetzt ein epsilon nach o, während wir hier natürlich iota nach

o hatten.