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
- ifle modal, 3rd place: "otherwise..." (du'u or nu)
- fi'ei
- ifle modal, 1st place: if [sumti] (du'u or nu) is true...

- cnata
- x
_{1}is a logical 'if-else' (ternary conditional) statement saying that if x_{2}is true, then x_{3}is true (or performed), but otherwise/else (if x_{2}is not true, then) x_{4}is true (or performed). - 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