donnees=Majore, La fonction sinus est majore, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, \RR \rightarrow Bool\
\
Minore, La fonction cosinus est minore, (\RR\rightarrow\RR)\rightarrow Bool,(\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, \RR \rightarrow Bool\
\
Minore, La fonction logarithme n'est pas minore, (\RR\rightarrow\RR_\perp)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow Bool_\perp, \RR\times\RR\rightarrow \RR\
\
Minore, La fonction racine carre est minore, (\RR\rightarrow\RR_\perp)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow Bool_\perp, \RR\times\RR\rightarrow \RR\
\
Majore, La fonction logarithme n'est pas majore, (\RR\rightarrow\RR_\perp)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow (\RR\rightarrow\RR_\perp), (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow Bool_\perp, \RR\times\RR\rightarrow \RR	\
\
Borne, La fonction sinus est borne, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, \RR \rightarrow Bool\
\
Major par, Pour x dans [1, 2] sin x est major par 2, \RR\times\RR\rightarrow Bool , (\RR\rightarrow\RR)\rightarrow Bool, \RR\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow \RR,(\RR\rightarrow\RR)\times\RR\rightarrow Bool\
\
Minor par, Pour x dans [4, 8] \(\sqrt{x}) est minor par 2, \RR\times\RR\rightarrow Bool , (\RR\rightarrow\RR)\rightarrow Bool, \RR\rightarrow Bool, (\RR\rightarrow\RR)\rightarrow \RR,(\RR\rightarrow\RR)\times\RR\rightarrow Bool\
\
Minore par, L'exponentielle est minore par 0, (\RR\rightarrow\RR)\times\RR\rightarrow Bool ,(\RR\rightarrow\RR)\rightarrow Bool, \RR \times \RR \rightarrow Bool, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR)\times\RR\
\
Majore par, La fontion sinus est majore par 1, (\RR\rightarrow\RR)\times\RR\rightarrow Bool ,(\RR\rightarrow\RR)\rightarrow Bool, \RR \times \RR \rightarrow Bool, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR)\times\RR\
\
Maximum, La valeur absolue d'un nombre est le maximum entre ce nombre et son oppos, \RR\times\RR\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, (\RR\times(\RR\rightarrow\RR))\rightarrow Bool, \RR\rightarrow Bool\
\
Minimum, Le minimum de deux nombres est infrieur  chacun d'entre eux, \RR\times\RR\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR_\perp)\rightarrow \RR_\perp, (\RR\times(\RR\rightarrow\RR))\rightarrow Bool, \RR\rightarrow Bool\
\
Minimum, Le cosinus atteint son minimum en $val2, (\RR\rightarrow \RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow Bool\
\
Maximun, Le cosinus atteint son maximun en 0, (\RR\rightarrow \RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow Bool\
\
Minimun, 0 n'est pas le minimun de la fonction exponentielle,(\RR\rightarrow \RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow Bool\
\
Maximun, 2 n'est pas le maximun de la fonction cosinus, (\RR\rightarrow \RR)\rightarrow \RR_\perp, (\RR\rightarrow\RR)\rightarrow \RR, (\RR\rightarrow\RR_\perp)\rightarrow \RR, (\RR\rightarrow\RR)\rightarrow Bool, (\RR\rightarrow\RR_\perp)\rightarrow Bool\
\
Majore par, La fonction cube est majore par la fonction exponentielle, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR) \rightarrow Bool, \RR\times\RR\rightarrow Bool, (\RR\rightarrow\RR)\times \RR \rightarrow Bool, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR) \rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\rightarrow Bool\
\
Minore par, La fonction exponentielle est minore par la fonction nulle, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR) \rightarrow Bool, \RR\times\RR\rightarrow Bool, (\RR\rightarrow\RR)\times \RR \rightarrow Bool, (\RR\rightarrow\RR)\times (\RR\rightarrow\RR) \rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\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
