1. If, not whenRichard Crouch and Valeria de PaivaNuance Communications, CA, USAIMLA – April, 2013 2. IntroductionMotivationDeictic shiftSemantics Proof System ConclusionsIntroduction…