Semantic Interpretation
John loves Mary
Loves(John, Mary)
(y x Loves(x,y)) (Mary) x Loves(x, Mary)
(x Loves(x, Mary)) (John) Loves(John, Mary)
S(rel(obj))          NP(obj) VP(rel)
VP(rel(obj))           Verb(rel) NP(obj)
NP(obj)           Name(obj)
Name(John)          John
Name(Mary)          Mary
Verb(y x Loves(x,y) )           loves