if (VE, x), where complement (VE, EV) where variable EV is resolved anaphorically to an eventuality in the current discourse context that admits a complement.
otherwise requires a contextually relevant complement to its antecedent and asserts that if that complement holds, the argument to the λ-expression will as well.