nar fau nar cu'i lujvo

under conditions x₂, it is not possible that x₁ (event/state/property) doesn't happen / x₁ necessarily happens

In notes:

rolcumja'e: x₁ is inevitable under conditions x₂; Any cases under conditions x₂ result in x₁
bi'ai (exp!): Sumtcita indicating that the bridi must be true under the conditions indicated by the tagged sumti.