Processo geológico no qual uma placa tectônica é forçada para baixo da outra, mergulhando na astenosfera, a camada parcialmente fundida abaixo da litosfera é chamado de: