barli'a lujvo

x1=c1 leaves/exits/goes outside of x2=c2=b2 via route x3=c3.

Cf. barkla.