Conditions involving more than one variable

[jariji]

Is there a way I can put conditions on the relationship between variables?

@rule x y (x < y) x - y --> 0