SMS: Ordered permutation groups