donnees=somme, La somme de deux entiers de mme parit est paire, \ZZ\times\ZZ \rightarrow \ZZ, \RR\times\RR \rightarrow \RR, \QQ\times\QQ \rightarrow \QQ, \CC\times\CC \rightarrow \CC, \ZZ\times\ZZ \rightarrow \ZZ_\perp, \QQ\times\QQ \rightarrow \QQ_\perp, (\ZZ\rightarrow\ZZ)\rightarrow Bool\
\
somme, La somme de deux fonctions linaires est linaire, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow \RR)\rightarrow \RR, \RR\rightarrow Bool, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\times\RR\rightarrow Bool, \RR\times\RR\rightarrow\RR, \RR\times\RR\rightarrow Bool\
\
somme, La somme de deux carrs est un nombre positif, \RR\times\RR\rightarrow\RR, \RR\times\RR\rightarrow Bool, \RR\rightarrow Bool, \CC\times\CC\rightarrow \CC, \CC\rightarrow Bool, \ZZ\times\ZZ\rightarrow\ZZ, \ZZ\times\ZZ\rightarrow Bool, (\ZZ\rightarrow\ZZ)\rightarrow Bool\
\
somme, Tout entier pair non nul est somme de deux nombres premiers, \NN\times\NN\rightarrow\NN , \RR\rightarrow\RR, \QQ\times\QQ\rightarrow Bool , Bool \rightarrow  Bool_\perp,(\ZZ\rightarrow\ZZ)\times\ZZ\rightarrow Bool, \NN\times \NN \rightarrow Bool, \NN\rightarrow Bool\
\
somme, La somme d'un nombre complexe et de son conjugu est un nombre rel, \CC\times\CC\rightarrow\CC, \CC\times\CC\rightarrow\RR, \RR\times\RR\rightarrow \RR, \ZZ\times\ZZ\rightarrow Bool, \CC\times \CC\rightarrow Bool, (\CC\rightarrow\CC)\times(\CC\rightarrow\CC)\rightarrow (\CC\rightarrow\CC), \ZZ\times\ZZ\rightarrow Bool\
\
diffrence, La diffrence de deux entiers de mme parit est paire, \ZZ\times\ZZ \rightarrow \ZZ, \RR\times\RR \rightarrow \RR, \NN\times\NN \rightarrow \NN, \ZZ\times\ZZ \rightarrow \ZZ_\perp, \QQ\times\QQ \rightarrow \QQ_\perp,(\ZZ\rightarrow\ZZ )\rightarrow Bool, \ZZ \rightarrow \ZZ, \NN \rightarrow \NN\
\
diffrence, Deux fonctions dont la diffrence est constante ont la mme drive, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\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, \RR\times\RR\rightarrow\
\
Bool, \RR\times\RR\rightarrow(\RR\rightarrow \RR)		diffrence, La diffrence de deux rels est non nulle si et seulement si ils sont distincts, \RR\times\RR\rightarrow \RR, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \ZZ\times\ZZ\rightarrow\ZZ, \RR\times\RR\rightarrow \RR_\perp, \ZZ\times\ZZ\rightarrow\ZZ_\perp, (\RR\rightarrow\RR)\rightarrow \RR\
\
diffrence, L'exponentielle de la diffrence est gale au quotient des exponentielles, \RR\times\RR\rightarrow \RR, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \ZZ\times\ZZ\rightarrow\ZZ, \RR\times\RR\rightarrow \RR_\perp, \ZZ\times\ZZ\rightarrow\ZZ_\perp, (\RR\rightarrow\RR)\rightarrow \RR, \RR\rightarrow\RR\
\
diffrence, L'argument du quotient de deux nombres complexes est la diffrence de ces deux nombres, CC\times\CC\rightarrow \CC, \CC\times\CC\rightarrow\CC_\perp, \RR\times\RR\rightarrow\RR_\perp, \RR\times\RR\rightarrow\RR, \CC\times\CC_\perp\rightarrow Bool, \CC\rightarrow\CC, \RR\rightarrow\RR\
\
quotient, Le quotient de deux fonctions drivables est drivable l o il est bien dfini, (\RR\rightarrow\RR_\perp)\times(\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR_\perp)\times(\RR\rightarrow\RR_\perp)\rightarrow Bool, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\times\RR\rightarrow \RR\
\
quotient, L'exponentielle de la diffrence est gale au quotient des exponentielles, \RR\times\RR\rightarrow \RR_\perp, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \ZZ\times\ZZ\rightarrow\ZZ, \RR\times\RR\rightarrow \RR, \RR\times\RR\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow \RR, \RR\rightarrow\RR\
\
quotient, La fonction tangente est le quotient de la fonction sinus par la fonction cosinus, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \RR\times\RR\rightarrow\RR_\perp , \RR\times\RR\rightarrow \RR, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, \RR\times\RR\rightarrow Bool, \RR\rightarrow\RR\
\
quotient, Pour x un rel , tan(x) est le quotient sin(x) par cos(x),\RR\times\RR\rightarrow\RR_\perp , (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \RR\times\RR\rightarrow \RR, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow Bool, \RR\times\RR\rightarrow Bool, \RR\rightarrow\RR\
\
quotient, L'argument du quotient de deux nombres complexes est la diffrence de ces deux nombres, CC\times\CC\rightarrow \CC_\perp, \CC\times\CC\rightarrow\CC, \RR\times\RR\rightarrow\RR_\perp, \RR\times\RR\rightarrow\RR, \CC\times\CC_\perp\rightarrow Bool, \CC\rightarrow\CC, \RR\rightarrow\RR\
\
Compose, La compose de deux fonctions impaires est impaire, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\ZZ\rightarrow\ZZ)\rightarrow (\ZZ\rightarrow\ZZ), (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\NN\rightarrow\RR)\times(\NN\rightarrow\RR)\rightarrow (\NN\rightarrow\RR), \RR\times(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR)        

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
