Finita l'interpretazione semantica