"a proposition deducible from basic postulates" . "Wordnet Synset 06765007-n" . .