Um Analisador Semântico Inferencialista de Sentenças Em Linguagem Natural. Linguamática 2010, 2 (1), 111-130.