semantic orderings