I'm after the proper method for constructing semantic values of whole sentences out of the semantic values of individual words. There are also a few individual words I'm curious about as well.
If we were to take the sentence: Some snake smokes
[[Some]]= λf · [λg · 1 iff ∃x such that f(x)=g(x)=1]
[[Snake]= λx · x is a snake
[[Smokes]]= λx · x smokes
Now I have scrawled in my notes that
[[Some Snake Smokes]]= ([[some]] [[snake]]) [[smokes]]
but I'm not sure how to work from that template and write it as a lambda abstraction.
Additionally, I was curious about the semantic values of the following words:
[[is]]= λx · I know theres some ambiguity about this one and I'm unsure where to start.
[[that]] (I hope that I can play today) = ?
[[or]] (Maurice or Jacob is green)= ?
[[day]]= λx · x is a day I'm pretty sure about this one but just wanted to double check