Nexing Corpus: a corpus of verbal protocols on syllogistic reasoning. - António Branco; José Leitão; João Ricardo Silva; Luís Gomes 003 (LREC, 2002)