Per un’analisi linguistico-computazionale del “Dialogo sopra i due massimi sistemi”. Analisi semantica