WORDS NEAR prenex-normal-form IN THE DICTIONARY