Lifted Logic S