Relazione di calcolo: verifica estesa testuale con formule