simbasygau lujvo

x1 interchanges x2 and x3 in circumstance x4.

See also simbasti, gasnu