. "Wordnet Synset 06744551-n" . . . . . . "a group of symbols that make a mathematical statement" . . . . . .