Dairvat — sintaxe de cláusulas

A gramática distingue tipos de cláusula e atos discursivos.

Tipos funcionais

• ASSERT;
• OPEN-Q;
• DIRECTIVE;
• RESPONSE.

O sistema possui:

• perguntas;
• relativas;
• citação;
• condicionais;
• coordenação;
• foco;
• domínios de referência;
• projetividade;
• ligação de variáveis.

Citação e domínio devem impedir que referentes escapem de modo ambíguo.