if x_{1} (proposition) is true then x_{2} (event) happens else x_{3} (event) happens

Alternatively, x_{2} and x_{3} may be propositions that are true rather than events that happen. See ganai, jetnu, va'o

- 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...

- sigda
- x
_{1}is a material conditional/'IF' statement (logical statement) saying that x_{2}(du'u) logically implies x_{3}(du'u) ("x_{3}is true if x_{2}is true; if x_{2}, then x_{3}; x_{2}being true is sufficient to guarantee the truth of x_{3}"). - da'avni
- x
_{1}(condition) is the condition for an exception/'else' case of rule x_{2}with its own rule/outcome/consequent x_{3}. - erse
- x
_{1}(proposition) is asserted once it contains within the given context no errors otherwise x_{2}(proposition) is asserted - faubganke
- x
_{1}happens, then if x_{2}is true, x_{1}repeatedly happens as long as x_{2}is true - ganfauke
- if x
_{1}is true, x_{2}happens, then repeats as long as x_{1}is true