Progetto ArAl - Esplorazioni alla ricerca di leggi di corrispondenza