xabmapti lujvo

xa1=m1 is the mate of xa1=m2 with property m3 in pair xa2.