Lifted Logic SLW