prove 4verbdomain: v thinkingPrinceton WordNet [ver.3.1]EnglishDefinitionprove formally; demonstrate by a mathematical, formal proofReport errorPath to highest hypernymMorphologySynset graph