The resulting λ-expression applies to the interpretation of the matrix clause of otherwise, resulting in the conditional's being added to the discourse context: Here the relevant elements of (38b) and (39b) can be represented as α = otherwise R α = if S 38 = you get a ticket σ 38 = e 3 , where e 3 :get ticket(you) S 39 = go straight on σ 39 = e 3 , where e 3 :go straight(you) The unresolved interpretations of (38b) and (39b) are thus: As we showed in section 2.2, different ways of resolving the anaphoric argument lead to different interpretations.
in (38), the conjunction because is made explicit (example (40)), and in (39), the connective is simply and or but (example (41)).