"drawing a figure satisfying certain conditions as part of solving a problem or proving a theorem" . "Wordnet Synset 00875059-n" . .