nerbi'o lujvo

x1=b1=n1 enters [becomes inside-of] x2=n2 under conditions x3=b3

cf. nenri, binxo.