whereas in (39), it is resolved to e 1 :red(light1).
the resulting interpretations of (38b) and (39b) are, respectively, if(e 4 ,e 3 ), where complement(e 2 ,e 4 ) and e 2 :stop(you) (If you do something other than stop, you'll get a ticket.)