The new evidence ogre(D) prevents the query from being judged true given T 1 .
gogate and Domingos (2011) show that to calculate the probability of a formula H given a probabilistic knowledge base KB, it is enough to compute the partition function Z of KB with and without H added as a hard formula: all we need is an appropriate algorithm to estimate the partition function Z of a Markov network.