The rule "Order must be" is a
Producer, Behavioural rule
Rejector, Structural Rule
It is not a rule because it does not use a fact type
It is not a rule because is unpredictable
