donnees=paire, L'exponentielle n'est pas paire, (\RR\rightarrow\RR)\rightarrow Bool, \RR\rightarrow Bool_\perp, \RR\rightarrow (\RR \rightarrow Bool ), (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow \RR\
\
pair, Tout entier pair est somme de deux nombres premiers, \NN \rightarrow Bool, Bool \rightarrow \NN, \NN\rightarrow\NN, Bool \rightarrow  Bool_\perp,(\RR\rightarrow\RR)\times\RR\rightarrow Bool,\RR\rightarrow\RR,\NN\times\NN\rightarrow Bool\
\
impair, Presque tout nombre premier est impair, \ZZ \rightarrow Bool, \RR\rightarrow Bool_\perp, \ZZ\rightarrow \NN , \NN\rightarrow \RR, \RR\rightarrow Bool\
\
impaire, La fonction tangente est impaire, (\RR\rightarrow\RR_\perp)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow Bool_\perp, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp\
\
parit, La somme de deux entiers de mme parit est paire, \ZZ \rightarrow Bool, \ZZ \rightarrow \RR, \RR \rightarrow Bool , \CC \rightarrow \CC, Bool \rightarrow Bool, \ZZ\rightarrow\ZZ\
\
racine carre, La racine carre de 2 est irrationnelle, \RR_\perp \rightarrow \RR_\perp, \RR\rightarrow Bool, \ZZ\rightarrow\ZZ, \RR\rightarrow\RR, \CC \rightarrow \CC\
\
Factorielle, Factorielle 5 gale 120, \NN\rightarrow \NN, \RR \rightarrow \RR, \CC \rightarrow \CC, \NN \rightarrow Bool, Bool \rightarrow Bool\
\
Drivable, Le carr d'une fonction drivable est drivable, (\RR\rightarrow\RR)\rightarrow Bool, \RR \rightarrow \RR, \RR\rightarrow(\RR\rightarrow\RR), \RR\rightarrow\RR, \RR \rightarrow \RR_\perp, \RR\rightarrow Bool, \RR\times\RR\rightarrow Bool\
\
Drive, La drive d'une fonction impaire est paire, (\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\rightarrow Bool, \RR\rightarrow\RR_\perp, (\RR\rightarrow\RR)\times \RR\rightarrow\RR, (\RR\rightarrow\RR)\rightarrow \RR_\perp\
\
Continue, La fonction partie entire n'est pas continue, (\RR\rightarrow\RR)\rightarrow Bool, \RR \rightarrow \RR, (\RR\rightarrow\RR)\times\RR\rightarrow Bool, (\RR\rightarrow\RR_\perp)\times\RR\rightarrow Bool, \RR \rightarrow Bool\
\
Constante, Deux fonctions dont la diffrence est constante ont la mme drive, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow \RR)\rightarrow \RR, \RR \rightarrow (\RR \rightarrow \RR), (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\times\RR\rightarrow Bool\
\
Linaire, La somme de deux fonctions linaires est linaire, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow \RR)\rightarrow \RR, \RR\rightarrow Bool, \RR \times \RR \rightarrow Bool, (\RR\rightarrow\RR)\times\RR\rightarrow Bool\
\
Signe, Le signe d'un produit de nombres ne dpend que du signe des facteurs, \RR \rightarrow Bool_\perp, \RR \times \RR \rightarrow Bool_\perp, (\RR\rightarrow\RR)\rightarrow Bool_\perp, (\RR\rightarrow \RR) \rightarrow Bool, \RR\times\RR\rightarrow Bool\
\
Carr, Deux nombres opposs ont le mme carr, \ZZ \rightarrow \ZZ, \NN \rightarrow \NN , \NN \rightarrow Bool, \ZZ \rightarrow Bool, \RR \rightarrow Bool\
\
Oppos, Deux nombres opposs ont le mme carr, \CC \times \CC \rightarrow Bool, \NN \times \NN \rightarrow Bool, \CC \rightarrow \CC, \RR \times \RR \rightarrow \RR, (\ZZ \rightarrow \ZZ) \rightarrow Bool\
\
Oppose, L'oppose d'une fonction paire est paire, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \RR\rightarrow\RR, (\RR\rightarrow\RR)\rightarrow\RR, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow Bool)\rightarrow (\RR\rightarrow Bool)\
\
exponentielle, L'exponentielle n'est pas paire, \RR\rightarrow\RR, \RR\rightarrow Bool_\perp, \RR\rightarrow (\RR \rightarrow Bool ), \CC\rightarrow\RR, (\RR\rightarrow\RR)\rightarrow Bool\
\
tangente, La fonction tangente est impaire, \RR\rightarrow\RR_\perp, \RR\rightarrow\RR, (\RR\rightarrow\RR)\rightarrow Bool, \RR\rightarrow Bool_\perp, (\RR\rightarrow\RR_\perp)\rightarrow Bool_\perp\
\
carr , Le carr d'une fonction drivable est drivable, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \RR \rightarrow \RR, \RR\rightarrow(\RR\rightarrow\RR), \RR\rightarrow\RR\times\RR, \RR \rightarrow \RR_\perp\
\
sinus, La fonction sinus est majore, \RR\rightarrow\RR, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, \RR \rightarrow Bool\
\
ln, La fonction ln n'est pas minore, \RR\rightarrow\RR_\perp, (\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow Bool_\perp, \RR\rightarrow \RR\
\
oppos, La valeur absolue d'un nombre est le maximum entre ce nombre et son oppos, \RR\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, \CC\rightarrow \RR\
\
valeur absolue, La valeur absolue d'un nombre est le maximum entre ce nombre et son oppos, \RR\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, \RR\rightarrow \ZZ\
\
positif, Tout rel positif admet une racine carre, \RR\rightarrow Bool_\perp, \CC\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow Bool_\perp, \RR\rightarrow\RR, (\RR\rightarrow Bool)\rightarrow Bool_\perp\
\
nul, Tout nombre complexe non nul admet un inverse, \CC\rightarrow Bool, \RR\rightarrow Bool, \CC\rightarrow \CC, \CC\times \CC\rightarrow Bool, \CC\rightarrow \CC\times Bool\
\
inverse, L'inverse d'un produit de deux nombres complexes est le produit des inverses,\CC\rightarrow\CC_\perp, \CC\rightarrow \CC, \CC\rightarrow Bool, (\CC\times\CC)\rightarrow Bool, \RR\rightarrow\RR\
\
ngatif, Le produit de deux nombres r&ecute;els ngatifs est positif, \RR\rightarrow Bool_\perp, \CC\rightarrow Bool, \RR\rightarrow\RR, \RR\times Bool \rightarrow Bool, \RR\times\RR\rightarrow Bool\
\
constante, La drive d'une fonction constante est nulle, (\RR\rightarrow\RR)\rightarrow Bool, \RR, \RR\rightarrow Bool, \CC, (\RR\rightarrow\RR)\rightarrow\RR\
\
carr, Le carr d'un nombre pair est un nombre pair, \ZZ\rightarrow \ZZ, \RR\rightarrow\ZZ, \ZZ\rightarrow Bool, \ZZ\times\ZZ\rightarrow Bool, \RR\rightarrow Bool 

tmp0=!linecnt $donnees
val4=$[rint(($(tmp0)+1)/2)]
tmp0=!randint 1, $val4
val5=$[rint(2*$(tmp0)-1)]
val6=!row $val5 of $donnees

enonce=!item 1 of $val6
contexte=!item 2 of $val6
goodrep=!item 3 of $val6
goodrep=\($goodrep)
tmp=!itemcnt $val6
tmp1=!item 4 to $tmp of $val6
tmp=(),\()
tmp=!char 2 to -2 of $tmp
badrep1=!replace internal , by $tmp in $tmp1
badrep1=\($badrep1)
badrep2=$empty
question=Quelle est la nature fonctionnelle de $enonce dans la phrase:<center>$contexte</center>
chronodirect=non
convent=$empty
