narfaunarcu'i lujvo

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

In notes:

x1 is inevitable under conditions x2; Any cases under conditions x2 result in x1
bi'ai (exp!)
Sumtcita indicating that the bridi must be true under the conditions indicated by the tagged sumti.