"reason by syllogisms" . "Wordnet Synset 00655120-v" . .