Subsidiariamente, a condenação da ANACOM para, no prazo de 10 dias, a iniciar e concluir o procedimento de averiguação formal sobre o cumprimento, por parte da ...., da obrigação de utilização efetiva do espectro atribuído;