nunfli lujvo

x1=n1 is a failure in which x2=f1 at doing x3=f2 (state/event)

from nu + fliba

In notes:

nunflicabybandu
x1=b1 is a fail-safe for x2=b2 when failure x3=b3=n1 occurs.