ilp turns 20 .
Lifted probabilistic inference with counting formulas