Implement an encoding for partial orders
Implement an encoding for partial orders