"the cognitive process of establishing a valid proof" . "Wordnet Synset 05834615-n" . .