Pour chaque variable à skolémiser il faut choisir un nouveau nom de fonction qui n'apparait pas déjà dans la formule.
1	Pour	pour	ADP	_	_	3	case	_	wordform=pour
2	chaque	chaque	DET	_	Number=Sing|PronType=Ind	3	det	_	_
3	variable	variable	NOUN	_	Gender=Fem|Number=Sing	7	obl:mod	_	_
4	à	à	ADP	_	_	5	mark	_	_
5	skolémiser	skolémiser	VERB	_	VerbForm=Inf	3	acl	_	Subject=Generic
6	il	il	PRON	_	Gender=Masc|Number=Sing|Person=3|PronType=Prs	7	expl:subj	_	_
7	faut	falloir	VERB	_	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
8	choisir	choisir	VERB	_	VerbForm=Inf	7	ccomp	_	Subject=Generic
9	un	un	DET	_	Definite=Ind|Gender=Masc|Number=Sing|PronType=Art	11	det	_	_
10	nouveau	nouveau	ADJ	_	Gender=Masc|Number=Sing	11	amod	_	_
11	nom	nom	NOUN	_	Gender=Masc|Number=Sing	8	obj	_	_
12	de	de	ADP	_	_	13	case	_	_
13	fonction	fonction	NOUN	_	Gender=Fem|Number=Sing	11	nmod	_	_
14	qui	qui	PRON	_	PronType=Rel	16	nsubj	_	_
15	n'	ne	ADV	_	Polarity=Neg	16	advmod	_	SpaceAfter=No
16	apparait	apparaître	VERB	_	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	11	acl:relcl	_	_
17	pas	pas	ADV	_	Polarity=Neg	16	advmod	_	_
18	déjà	déjà	ADV	_	_	16	advmod	_	_
19	dans	dans	ADP	_	_	21	case	_	_
20	la	le	DET	_	Definite=Def|Gender=Fem|Number=Sing|PronType=Art	21	det	_	_
21	formule	formule	NOUN	_	Gender=Fem|Number=Sing	16	obl:mod	_	SpaceAfter=No
22	.	.	PUNCT	_	_	7	punct	_	_
