val1={\rm Bool}
donnees=_est premier, \ZZ\rightarrow $val1 \
 \ZZ\rightarrow \ZZ, \RR\rightarrow $val1, \ZZ\times $val1, $val1\rightarrow $val1 \
\
_ est un carr, \ZZ\rightarrow $val1 \
\ZZ, $val1, \RR\rightarrow $val1, \ZZ\rightarrow \ZZ, \RR\rightarrow \RR \
\
_ et _ sont conscutifs, \ZZ\times\ZZ\rightarrow $val1 \
\ZZ\times\ZZ, \ZZ\times\ZZ\rightarrow\ZZ, (\ZZ\rightarrow\ZZ)\rightarrow $val1 \
\
_ divise _, \ZZ\times\ZZ\rightarrow $val1 \
(\ZZ\rightarrow\ZZ)\rightarrow $val1, \ZZ\rightarrow $val1, \ZZ\times \ZZ \
\
_ et _ sont congrus modulo _, \ZZ\times\ZZ\times\NN\rightarrow $val1 \
\ZZ\times\ZZ\times\NN,$val1,\ZZ\times\ZZ\times\NN\times $val1,$val1\rightarrow \ZZ\times\ZZ\times\NN \
\
_ est entier, \QQ\rightarrow $val1, \CC\rightarrow $val1, \RR\rightarrow $val1 \
$val1, \QQ\times $val1, \ZZ\rightarrow $val1, \ZZ \
\
_ est irrationnel, \CC\rightarrow $val1, \RR\rightarrow $val1 \
$val1, \QQ\times $val1, \QQ\rightarrow $val1, \ZZ,\QQ,\CC\times $val1\
\
_ et _ sont oppos\'es, \ZZ\times\ZZ\rightarrow $val1,  \CC\times\CC\rightarrow $val1,  \RR\times\RR\rightarrow $val1\
\CC\times \CC,\ZZ\times\ZZ,\RR\times\RR\times $val1, $val1\
\
_ est imaginaire pur, \CC\rightarrow $val1\
\CC, $val1, \CC\times $val1, \CC\times\RR\rightarrow $val1, \RR\
\
_ et _ sont conjugus, \CC\times\CC\rightarrow $val1\
\CC\rightarrow \CC, \CC\rightarrow $val1, \CC\times\CC, \CC\times\CC\times $val1,\RRtimes\RR\rightarrow $val1\
\
_ est majore par _, \RR\times\RR\rightarrow $val1, (\RR\rightarrow\RR)\times(\RR\rightarrow\RR)\rightarrow $val1 \
\CC\times\CC\rightarrow $val1, \RR\times $val1\rightarrow $val1, (\RR\rightarrow \RR)\rightarrow $val1, \RR\rightarrow $val1\
\
_ est borne, (\RR\rightarrow\RR)\rightarrow $val1\
(\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), (\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow $val1, \RR\rightarrow $val1,\RR\times\RR\rightarrow $val1\
\
_ est constante, (\RR\rightarrow\RR)\rightarrow $val1\
(\RR\rightarrow\RR)\rightarrow \RR\, (\RR\rightarrow\RR)\rightarrow (\RR\rightarrow\RR), \RR\times\RR\rightarrow $val1, $val1, (\RR\rightarrow\RR)\rightarrow $(val1)_\perp, (\RR\rightarrow\RR)\times \mathcal{P}(\RR)\rightarrow $val1 \
\
_ est constante sur _, (\RR\rightarrow\RR)\times \mathcal{P}(\RR)\rightarrow $val1\
(\RR\rightarrow\RR)\rightarrow $val1, (\RR\rightarrow\RR)\times \mathcal{P}(\RR)\rightarrow $(val1)_\perp, (\RR\rightarrow\RR)\rightarrow\RR, $val1, (\RR\rightarrow\RR)\times\RR\rightarrow $val1\
\
_ est paire, (\RR\rightarrow\RR)\rightarrow $val1\
\RR\rightarrow $val1, \ZZ\rightarrow $val1, (\RR\rightarrow \RR)\times $val1, (\RR\rightarrow\RR)\rightarrow $(val1)_\perp, \ZZ\times\ZZ\rightarrow $val1\
\
_ est pair, \ZZ\rightarrow $val1 \
\RR\rightarrow $val1, (\RR\rightarrow\RR)\rightarrow $val1, (\RR\rightarrow \RR)\times $val1, (\RR\rightarrow\RR)\rightarrow $(val1)_\perp, \ZZ\times\ZZ\rightarrow $val1\
\
_ est impaire, (\RR\rightarrow\RR)\rightarrow $val1\
\RR\rightarrow $val1, \ZZ\rightarrow $val1, (\RR\rightarrow \RR)\times $val1, (\RR\rightarrow\RR)\rightarrow $(val1)_\perp, \ZZ\times\ZZ\rightarrow $val1\
\
_ est impair, \ZZ\rightarrow $val1 \
\RR\rightarrow $val1, (\RR\rightarrow\RR)\rightarrow $val1, (\RR\rightarrow \RR)\times $val1, (\RR\rightarrow\RR)\rightarrow $(val1)_\perp, \ZZ\times\ZZ\rightarrow $val1\
\
_ annule _, (\RR\rightarrow\RR)\times\RR\rightarrow $val1\
(\RR\rightarrow\RR)\times\RR\rightarrow $(val1)_\perp, \RR\times\RR\rightarrow $val1, (\RR\rightarrow\RR)\rightarrow $val1,
$val1, (\RR\rightarrow \RR),(\RR\rightarrow\RR)\times\mathcal{P}(\RR)\rightarrow $val1\
\
_ s'annule, (\RR\rightarrow\RR)\rightarrow $val1\
(\RR\rightarrow\RR)\times\RR\rightarrow $(val1)_\perp, \RR\times\RR\rightarrow $val1, (\RR\rightarrow\RR)\times\RR\rightarrow $val1 , $val1, (\RR\rightarrow \RR), (\RR\rightarrow\RR)\times\mathcal{P}(\RR)\rightarrow $val1\
\
_ s'annule sur _, (\RR\rightarrow\RR)\times\mathcal{P}(\RR)\rightarrow $val1\
(\RR\rightarrow\RR)\times\RR\rightarrow $(val1)_\perp, \RR\times\RR\rightarrow $val1, (\RR\rightarrow\RR)\times\RR\rightarrow $val1 , $val1, (\RR\rightarrow \RR),(\RR\rightarrow\RR)\rightarrow $val1\
\
_majore_ , (\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow $val1, (\RR\rightarrow\RR)\times\RR\rightarrow $val1, \RR\times\RR\rightarrow $val1\
(\RR\rightarrow\RR)\times (\RR\rightarrow\RR)\rightarrow $(val1)_\perp, (\RR\rightarrow\RR)\times\RR\rightarrow $(val1)_\perp, \RR\times\RR\rightarrow $(val1)_\perp, (\RR\rightarrow\RR)\times\RR,$val1

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

enonce=!item 1 of $val6
tmp=!itemcnt $val6
goodrep=!item 2 to $tmp of $val6
badrep1=!line $[$val5+1] of $donnees
badrep2=$empty
tmp=(),\()
tmp=!char 2 to -2 of $tmp
badrep1=!replace internal , by $tmp in $badrep1
badrep1=\($badrep1)
goodrep=!replace internal , by $tmp in $goodrep
goodrep=\($goodrep)

question=Parmi les propositions suivantes, laquelle ou lesquelles peuve(nt) dsigner la nature fonctionelle de:<center>$enonce ?</center> (Ne cochez aucune rponse si vous pensez qu'aucune ne convient)
chronodirect=oui
convent=$empty
