Definition über Angabe der Bedingung für x: x A sei diejenige Entität x, die A erfüllt.
|
"diejenige" wird je nach Theorie unterschiedlich definiert;
z.B. als die einzige Entität / eine bereits im Diskurs verankerte Entität / das maximale Element / die salienteste Entität / ... |
Ableitung von Analysen:
die Blume | => dasjenige x, für das gilt: x ist eine Blume | => | x(BLUME(x))
|
Die Blume ist rot. | => Für die Blume gilt: sie ist rot | | => Für dasjenige x, für das gilt: x ist eine Blume, gilt: x ist rot. | => | ROT( x(BLUME(x))) |
Allgemeine Form:"der/die/das F." => x (Fx) "der/die/das Fx ist G." => G( x(Fx)) |
die große violette Raupe |  |  x(GROß(x) /\ VIOLETT(x) /\ RAUPE(x)) | Sven gießt die Blume. |  | GIEßEN(sven,  x(BLUME(x))) | Andi ruft Monas Schwester an. |  | ANRUFEN(andi,  x(SCHWESTER(x,mona))) | Der Mörder verfolgt Steffi |  | VERFOLGEN(  x(MÖRDER(x)),steffi) | Martin kennt den Schiedsrichter. |  | KENNEN(MARTIN,  x(SCHIEDSRICHTER(x))) | Uta besucht ihren Vater. |  | BESUCHEN(uta,  x(VATER_VON(x,uta))) |
|