is the result of combining `[[man]]`, an `e->t` type predicate value, with the adjective-type value of `[[who(i): Alice spurned i]]`. As I said, we'll ignore complexities about their treatment of adjectives. But how is `[[who(i): Alice spurned i]]` derived? Heim and Kratzer say this is defined only relative to an
assignment g, and it's defined to be a function from objects x in the domain to the value `[[Alice spurned i]]` has relative to shifted assignment g{i:=x}, which is like g except for assigning object x to variable i. So this is not the result of taking some value `[[who(i)]]`, and some separate value `[[Alice spurned i]]`, and supplying one of them to the other as argument to function.
is the result of combining `[[man]]`, an `e->t` type predicate value, with the adjective-type value of `[[who(i): Alice spurned i]]`. As I said, we'll ignore complexities about their treatment of adjectives. But how is `[[who(i): Alice spurned i]]` derived? Heim and Kratzer say this is defined only relative to an
assignment g, and it's defined to be a function from objects x in the domain to the value `[[Alice spurned i]]` has relative to shifted assignment g{i:=x}, which is like g except for assigning object x to variable i. So this is not the result of taking some value `[[who(i)]]`, and some separate value `[[Alice spurned i]]`, and supplying one of them to the other as argument to function.