fra sel jimca lujvo

x₁=j₂=f₁ is a switch with branches / for toggling x₂=j₁=f₂ triggered by x₃=f₃ under conditions x₄=f₄.

In notes:

sema'ai (comp!): mansa modal, 2nd place (satisfying evaluator) such that …
tema'ai (comp!): mansa modal, 3rd place (satisfying evaluator) satisfying in property …
ma'ai (exp!): mansa modal, 1st place (satisfying evaluator) satisfied by …