Lifted Logic B