Lifted Inference Rules With Constraints