Divide and conquer inference allows us to perform inference separately over different parts of the knowledge base, and to combine results by sending a “message” involving only a small number of entities, e.g. (in this simple case), those in the intersection between the parts.  In general, this extends to hierarchical structures.