prenex normal form - Spanish English Dictionary