Semantic Actions on preorder