Karl Heinz Wagner
Karl Heinz Wagner
Karl Heinz Wagner
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Logikgrammatik 147<br />
(5.6.)<br />
Z: ⇐ Satz(John.kicked.the.ball.nil, nil)<br />
P: Satz(x1, z1) ⇐ NP (x1, y1), V P (y1, z1)<br />
U: {x1/John.kicked.the.ball.nil, z1/nil}<br />
R: ⇐ NP (John.kicked.the.ball.nil, y1), V P (y1, nil)<br />
Z = R:<br />
P: NP (x3, z3) ⇐ Name(x3, z3)<br />
U: {x3/John.kicked.the.ball.nil, z3/y1}<br />
R: ⇐ Name(John.kicked.the.ball.nil, y1), V P (y1, nil)<br />
Z = R:<br />
P: Name(John.z10, z10) ⇐<br />
U: {z10/kicked.the.ball.nil, y1/kicked.the.ball.nil}<br />
R: ⇐ V P (kicked.the.ball.nil, nil)<br />
Z = R:<br />
P: V P (x4, z4) ⇐ V t(x4, y4), NP (y4, z4)<br />
U: {x4/kicked.the.ball.nil, z4/nil}<br />
R: ⇐ V t(kicked.the.ball.nil, y4), NP (y4, nil)<br />
Z = R:<br />
P: V t(kicked.z13, z13) ⇐<br />
U: {z13/the.ball.nil, y4/the.ball.nil}<br />
R: ⇐ NP (the.ball.nil, nil)<br />
Z = R:<br />
P: NP (x2, z2) ⇐ Det(x2, y2), N(y2, z2)<br />
U: {x2/the.ball.nil, z2/nil}<br />
R: ⇐ Det(the.ball.nil, y2), N(y2, nil)<br />
Z = R:<br />
P: Det(the.z6, z6) ⇐<br />
U: {z6/ball.nil, y2/ball.nil}<br />
R: ⇐ N(ball.nil, nil)<br />
Z = R:<br />
P: N(ball.z9, z9) ⇐<br />
U: {z9/nil}<br />
R: ⊓⊔