WORDS NEAR herbrand-universe IN THE DICTIONARY