"a person skilled at symbolic logic" . "Wordnet Synset 10289482-n" . .