prenex normal form - French English Dictionary