User:CCLevy/Lifted inference