11 Feb 2004*
CS 3243 - Optional Lecture - NLP
28
Semantic Interpretation
lJohn loves Mary
lLoves(John, Mary)
l
l(ly lx Loves(x,y)) (Mary) º lx Loves(x, Mary)
l(lx Loves(x, Mary)) (John) º Loves(John, Mary)
l
lS(rel(obj)) ® NP(obj) VP(rel)
lVP(rel(obj)) ® Verb(rel) NP(obj)
lNP(obj) ® Name(obj)
lName(John) ® John
lName(Mary) ® Mary
lVerb(ly lx Loves(x,y) )  ®   loves