シナジーのメタファー１

(46) Die Hilfsregelungen
(REFL) C (a, a) > C (a, REFL (A)) für C: (A) (A) prop atomic.
(M) für jedes atomares C und Variable x,
C(d (p * x))>C(d (Mx))
C (d (p * x), b) > C (d (Mx), b)
C (a, d (p * x)) > C (a, d (Mx)), wenn a kein Mx enthält;
p * x ist irgendein x, p (x), p (p (x)) und d (c) ist c, Vetter (c), Mutter (Vetter (c)).

Die Regelung (M) erzeugt z.B.,

schlafen (x) > schlafen (Mx);
lieben (Vetter (p (x)), p (x)) > lieben (Vetter (Mx), p (x));
verwenden (p (q (x)), p (x)) > verwenden (p (q (x)), Mx).
(SPECTRUM) C (a) > C (a {PRON (A), die-N (A)}) für C: (A)α.

Die Operationen S und N.
(THERE) S (A) > es_ist_INDEF-N (A).

(Q) S((�肺:A)B)>
S (B [{INDEF-N (A), ein-N (A), ein gewisses N (A)} / Mx])
S ((Πx: A) B) >
S (B [{jedes-N (A), ein-N (A), jedes-N(A)} / Mx])
wenn es ein Mk in B gibt.
(C) S ((�肺: A) B) > (S (A))_und_(S(B))
S (Πx: A) B) > wenn_(S(A))_(S(A))_(S(B))
(R) N ((�肺: A) B) > (N (A)) - REL (x: A) - (S(B))

(N0) N(C) > C
(VI) S (C (a)) > a_VF (C)
(V2) S (C (a, b)) > a_VF (C) _ACC (b)
(Al) S (C (a)) > a_VF (sein) _C
(T0) c > c
(T1) c (a) > GEN (a, c)

Die Sugaringsregelungen nehmen die morphologischen Operatoren VF (verb form), ACC (accusative), GEN (genetive), INDEF (indifinite article), PRON (personal pronoun of type A), INDEF-A (“A” preceded by “a” or “an”)，PRON (A) (personal pronoun of type A) und REL (x: A) (relative pronoun).
　Die Pronomen und die Phrasen haben ähnliche Quasikategorisierungen.

(47)
PRON < (X) (x) x: (X: set) (X) X,
the < (X) (x) X: (X: set) (X) X.

Hier handelt es sich darum, zu illustrieren, wie der abhängige Bereich der Anapher erzeugt wird. Die Proposition "verwenden" (p(z), p(q(z))), die im Kontext “z: (�肺: Mann) (�輩: Bleistift) besitzen (x, y)"> geformt wird, enthält freie Erscheinungen der Variable z, die ein Objekt im Kontext erwähnt. Kraft der Propositionen wie Typentheorie werden die Abhängigkeit der Anapher und die Präsuppositionen in solchem Sinn bewertet, daß man die Wahrheit einer gegebenen Propositionen präsupponieren kann, um eine weitere Proposition zu formen.

(48) B: prop (A: true) bedeutet B: prop (x: A).

　Um ein Text darzustellen, wird es schon erklärt, daß die volle Darstellung eines indikativen Satzes keine Proposition, sondern ein Urteil der Form a: A ist. Für einen gegebenen indikativen Satz kann der Beweis im allgemeinen als keine Konstante, sondern als eine Variable wieder hergestellt werden. Das Text wird als das Kontext der folgenden Form dargestellt.

(49) x1:A1,...,xn:An,

wo jede Proposition Ak abhängig vom vorausgehenden Kontext ist. Die intuitionistische Logik nimmt diesen Weg an, um die Dynamischheit eines Textes zu behandeln.

花村嘉英（2005）「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか？」より