lirmau lujvo

x1 is earlier than x2 by amount of time x3.

cf. lecmau, temci