Lifted First-Order Probabilistic Inference