simbasti lujvo

x1 trades places with x2 in circumstance x3.

See also simxu, basti, basysi'u


In notes:

simbasygau
x1 interchanges x2 and x3 in circumstance x4.