terle'i lujvo

x1 is a payee with payment x2 with payor x3 with paid for x4.