Again, the approximate posterior probability of a given type parentage tree is edge-factored-it is the product of individual edge weights defined by δ.
we are again eligible to use the spanning tree algorithms in §5.3 below.