-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.