Lifted Logic DET