PartialOrder_intf
partialOrder (and Precedence) give more details when the ordering is not total