Linguaggio e azione nella verifica di testi istruzionali