Un esempio di risoluzione automatica delle ambiguità