Lifted Logic d