Here the "if ... then" construction indicates the logical conditional.
这里的“如果……则”结构指出了逻辑的条件限制。