Unfortunately, such rules are prohibited by many existing rule languages, because they could make the rules too expressive to be decidable.
we study in which cases the specific axioms of order relations can be supported, without causing undecidability.