"correct and valid reasoning" . "Wordnet Synset 04791892-n" . .