I think the situation is much more informatively modeled by a partial order though. You can induce a total order on a partial order and you can use this formula

I think the situation is much more informatively modeled by a partial order though. You can induce a total order on a partial order and you can use this formula to do so conservatively, but maybe the real way to solve the problem is to create an intuitive way for users to appreciate partial orders.