First International Workshop on Ordering and Reasoning