cneparbi lujvo

x1 is the derivative of x2 with respect to x3.

Cf. sa'o, cmaci.

In notes:

bixycmaci
c1 is a calculus of type/describing c2