Lifted Logic Dolphins 1.0