Lifted inference rules with constraints
Lifted Inference and Learning in Statistical Relational Models