This can flow through the Grothendieck construction, or some denovo generalization of the junction tree algorithm. We should test on 2D Delta Set, Petri Net, and Undirected Hypergraph