"logically deductive" . "Wordnet Synset 01433501-s" . .