An order is represented as a predicate Order(S,Q,D,P) where