Skolem_normal_form