Lifted Logic Combine3