Lifted inference rules with constraints
Lifted Probabilistic Inference by First-Order Knowledge Compilation