Skolem prenex form