I may actually use it for my natural language logic checker.
(This experimental program analyse human text and detect if there is a reasoning error, if so, which one). It already has 100% of success for syllogisms. But I will in the future be hit by combinatorial explosion and gpu acceleration will help me, even if dictionnaries are not my main data structure.