área de pesquisa Olavo Leopoldino da Silva Filho Um Esboço de Sistema Formal para a Linguagem Natural