Lifted Logic lac