Ответ:

Союз «если» вводит условие, которому соответствует главная часть с союзом «то».

Правило 3 (факультативная окраска пресуппозиции). Если составляющая с потенциальной презумпцией Р является синтаксическим актантом миропорождающего предиката, то имеется две возможности: а) Р является презумпцией в соответствующем мире; б) Р остаётся презумпцией в реальном мире.