"a mathematical statement that two expressions are equal" . "Wordnet Synset 06682609-n" . .