posxu'a lujvo

x1=p1 claims ownership of x2=p2 in condition p3.

Cf. xusra, ponse.