“…According to Kratzer, there is, for instance, no “semantic value of the conditional” whose surface form is , when or C is embedded under an operator whose domain A functions to restrict (cf. Égré and Cozic, , 23), as in: - Probably, if my keys aren't in my coat, they are on the table
- If my keys aren't in my coat, they are probably on the table
…”