ifle fu'ivla

if x1 (proposition) is true then x2 (event) happens else x3 (event) happens

Alternatively, x2 and x3 may be propositions that are true rather than events that happen. See ganai, jetnu, va'o

In definition:

ifle modal, 3rd place: "otherwise..." (du'u or nu)
ifle modal, 1st place: if [sumti] (du'u or nu) is true...

In notes:

x1 is a logical 'if-else' (ternary conditional) statement saying that if x2 is true, then x3 is true (or performed), but otherwise/else (if x2 is not true, then) x4 is true (or performed).
x1 is a material conditional/'IF' statement (logical statement) saying that x2 (du'u) logically implies x3 (du'u) ("x3 is true if x2 is true; if x2, then x3; x2 being true is sufficient to guarantee the truth of x3").
x1 (condition) is the condition for an exception/'else' case of rule x2 with its own rule/outcome/consequent x3.
x1 happens, then if x2 is true, x1 repeatedly happens as long as x2 is true
if x1 is true, x2 happens, then repeats as long as x1 is true