Extraire les classes des mots du texte suivant : Pour chaque variable à skolémiser il faut choisir un nouveau nom de fonction qui n' apparait pas déjà dans la formule .
ADP, DET, NOUN, ADP, VERB, PRON, VERB, VERB, DET, ADJ, NOUN, ADP, NOUN, PRON, ADV, VERB, ADV, ADV, ADP, DET, NOUN, PUNCT