selrigni lujvo

x1=r2 is disgusted by x2=r1 under conditions x3=r3.