Karl Heinz Wagner

Logikgrammatik 151
Z: ⇐ Satz(sb, John.kicked.the.ball.nil, nil)
P: Satz(S(np1, vp), x1, z1) ⇐ NP (np1, x1, y1), V P (vp, y1, z1)
U: {sb/S(np1, vp), x1/John.kicked.the.ball.nil, z1/nil}
S: S(np1, vp)
R: ⇐ NP (np1, John.kicked.the.ball.nil, y1), V P (vp, y1, nil)
Z = R:
P: NP (NP (name), x3, z3) ⇐ Name(name, x3, z3)
U: {np1/NP (name), x3/John.kicked.the.ball.nil, z3/y1}
S: S(NP (name), vp)
R: ⇐ Name(name, John.kicked.the.ball.nil, y1), V P (vp, y1, nil)
Z = R:
P: Name(N(John), John.z10, z10) ⇐
U: {name/N(John), z10/kicked.the.ball.nil, y1/kicked.the.ball.nil}
S: S(NP (N(John)), vp)
R: ⇐ V P (vp, kicked.the.ball, nil)
Z = R:
P: V P (V P (vt, np2), x4, z4) ⇐ V t(vt, x4, y4), NP (np2, y4, z4)
U: {vp/V P (vt, np2), x4/kicked.the.ball.nil, z4/nil}
S: S(NP (N(John)), V P (vt, np2))
R: ⇐ V t(vt, kicked.the.ball.nil, y4), NP (np2, y4, nil)
Z = R:
P: V t(V t(kick), kicked.z13, z13) ⇐
U: {vt/V t(kick), z13/the.ball.nil, y4/the.ball.nil}
S: S(NP (N(John)), V P (V t(kick), np2))
R: ⇐ NP (np2, the.ball.nil, nil)
Z = R:
P: NP (NP (d, n), x2, z2) ⇐ Det(d, x2, y2), N(n, y2, z2)
U: {np2/NP (d, n), x2/the.ball.nil, z2/nil}
S: S(NP (John), V P (V t(kick), NP (d, n)))
R: ⇐ Det(d, the.ball.nil, y2), N(n, y2, nil)
Z = R:
P: Det(Det(Definite), the.z6, z6) ⇐
U: {d/Det(Definite), z6/ball, nil, y2/ball.nil}
S: S(NP (John), V P (V t(kick), NP (Det(Definite), n)))
R: ⇐ N(n, ball.nil, nil)
Z = R:
P: N(N(ball), ball.z9, z9) ⇐
U: {n/N(ball), z9/nil}
S: S(NP (John), V P (V t(kick), NP (Det(Definite), N(ball))))
R: ⊓⊔