skolem normal form - French English Dictionary