ki'irgau lujvo

x1 makes x2 and x3 be related by binary relation x4.