Lifted Inference beyond First-Order Logic

Re-assign community