"the logical analysis of mathematical reasoning" . "Wordnet Synset 06027244-n" . .