i once solved a similar problem with set theoretic approach using matroid theory and the greedy method for constructing a matroid basis using a thesaurus as my independence oracle. This was over a decade ago, so I no longer recall the results, but it certainly seems similar in the goal of finding a primal set of words that can in some way define all others.