Semantic Interpretation

S(Loves(John, Mary))

VP(x Loves(x, Mary) )

NP(John)

NP(Mary)

Verb(y x Loves(x, y) )

Name(John)

Name(Mary)

John

loves

Mary