I\'m dealing with structures where there is a poset and an extra undirected graph on the same vertices which is a subgraph of the poset\'s incomparability graph. In my physi
