. . . "a statement that solves a problem or explains how to solve the problem" . "Wordnet Synset 06756201-n" . . . . . .