Lifted Logic GB