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:

sigda
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").
da'avni
x1 (condition) is the condition for an exception/'else' case of rule x2 with its own rule/outcome/consequent x3.
erse
x1 (proposition) is asserted once it contains within the given context no errors otherwise x2 (proposition) is asserted
faubganke
x1 happens, then if x2 is true, x1 repeatedly happens as long as x2 is true
ganfauke
if x1 is true, x2 happens, then repeats as long as x1 is true