Lifted inference rules with constraints
Artificial intelligence: A modern approach