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