Fix partialord implementation