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:

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

In notes:

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 (proposition) is asserted once it contains within the given context no errors otherwise x2 (proposition) is asserted
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