"proof of a mathematical theorem" . "Wordnet Synset 06660609-n" . .