Dairvat — modalidade e atos de fala
Dairvat distingue conteúdo proposicional de força discursiva.
Funções
Seção intitulada “Funções”- afirmar;
- perguntar;
- ordenar;
- solicitar;
- responder;
- admitir possibilidade;
- marcar necessidade;
- negar;
- comparar;
- focalizar.
A álgebra de ASSERT, OPEN-Q, DIRECTIVE e RESPONSE impede que uma diretiva seja tratada como simples proposição verdadeira ou falsa.